The first run has no absolute valid range.
The second run only tests function copy_0 with absolute valid range.

Valentin Perrelle authored 1 year ago and David Bühler committed 9 months ago

- for imprecise.i, the equality domain does not keep an equality with
  sizeof since the sizeof is now normalized to it's constant equivalent;
  the dependency to a variable of an incomplete type disapear
- for the other tests only the order of string bases changes

David Bühler authored 11 months ago and Andre Maroneze committed 11 months ago

Thus, red statuses are only reported at the end of an analysis.

No need to reset the current location after the analysis of a function or
after calling a visitor, as the new API ensures that this is the case.

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.

Prints the number of statements at which a garbled mix from a given origin
has been read and propagated, instead of the total number of times such a
garbled mix has been read/propagated.
This is more stable and depends less on states partitioning.

These warnings are emitted when a garbled mix is written through an
assignment or an assigns clause.
This commit:
- rephrases the warnings to be clearer and less verbose.
- emits the warning only for garbled mix created at the current statement,
  according to their origin. Do not emit warnings for each propagation of
  previous garbled mixes.
- emits the warning when assigning garbled mix to the formal parameters
  of a function from the arguments of a call.

Origins no longer have a lattice structure.
A unique id is associated to each created origin. When multiple origins can
be associated to a value, we keep the oldest origin (according to their ids).