Basile Desloges authored 5 years ago and Julien Signoles committed 5 years ago

A `file` parameter is added before `line`, and the `char *` parameters
have been converted to `const char *`.

[e-acsl] ensure that terms of the E-ACSL ast are never shared before code injection. This invariant is required for E-ACSL typing soundness

- Modifiable with GCC flag without redefinition warning
- No overlapping with other segments when it's too big
- TODO: Overlapping can still occur if stack is too big