Frama-C does not yet support _Alignof and _Alignas, but this header helps
parsing code and emitting a proper error message.

The ambiguous regex led to behavioral differences under a musl-based libc,
such as in Frama-C's Docker images. The new regex is longer, but avoids the
issue.

Note: trying to compile the initializer with gcc/CompCert likely results in
'no space left on device'. Clang 12 reports an unexpected warning
("initializer overrides prior initialization of this subobject"), and some
tests indicate it actually replaces index 72057594037927936 with 0, which would
explain why it compiles. Removing a digit from the index, for instance, results
in a similar issue as GCC/CompCert (except that Clang starts consuming all RAM
instead of simply disk space).

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

Always emits initiatialized/escaping alarms on arguments of call to functions
whose body is not analyzed, as we cannot be sure these arguments will only be
used for copies and not in computations.

Warns at the start of an analysis when the inout plugin is missing.

- Info (expr_node)
- IndexPI (PlusPI synonym)