[Eva] Fixes a crash when running successive analyses with -eva-domains-function.

See merge request frama-c/frama-c!4552

The name of datatype created for the restriction of a domain to some functions
must be unique, even when the same domain is used in successive analyses.

[Eva] Consistent behavior on negative absolute address

See merge request frama-c/frama-c!4545

[Eva] Fixes garbled mix origins id.

See merge request frama-c/frama-c!4549

[kernel] warn when using logic labels in code

Closes #1359

See merge request frama-c/frama-c!4511

- since we rename builtin labels, let us just try to find a label that does not need renaming

Simplify smooth_expression : cannot be empty in parser

See merge request frama-c/frama-c!4543

Allan Blanchard authored 1 year ago and Virgile Prevosto committed 11 months ago

- guarantee that pp code has the same semantics in such a case

This has no impact as the join of origins now chooses the oldest known origin,
but it could be better if we ever change the implementation of the origin join.

Do not add a unique id into the origin datatype, as this interacts badly with
hashconsing.
Instead, binds each origin to a unique id in the global table used to record
garbled mix history.

[wp] type logic function _calls_ with C type

Closes #1332

See merge request frama-c/frama-c!4544

Remove unnecessary parameters from doinit

See merge request frama-c/frama-c!4547

Merge branch 'fix/martin/kernel/1366-error-messages-when-a-function-is-redeclared-with-incompatible-types' into 'master'

Resolve "Error messages when a function is redeclared with incompatible types"

Closes #1366

See merge request frama-c/frama-c!4531

Merge branch 'fix/martin/kernel/1293-misleading-api-function-annotations-iter_behaviors' into 'master'

Resolve "Misleading API function Annotations.iter_behaviors"

Closes #1293

See merge request frama-c/frama-c!4294

Fix/libc/pthread t portability

See merge request frama-c/frama-c!4534