size_t, ptrdiff_t, intmax_t, uintmax_t, ssize_t have their own length modifiers

[callgraph] Adds a missing interface file.

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

[Kernel] parse and evaluate _Static_assert

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

[Libc] define __STDC_NO_COMPLEX__, according to C11 6.10.8.3

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

David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago

Fixes the compilation with ocaml 4.13, lablgtk2 and ocamlgraph_gtk.
Removes an unused exception.

[wp] Removed option -wp-overflows

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

[eacsl] Fix e-acsl-gcc.sh warnings due to missing casts

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

[E-ACSL] Clean interaction between phases

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

[analysis-scripts] check for gmake/make existence before command

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

[eacsl] Create a C assertion context to hold and print the data contributing to an assertion

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

The translation of division and shift operators is updated to avoid the
generation of superfluous assertion context.