Valentin Perrelle authored 3 years ago and Virgile Prevosto committed 3 years ago

- The optional argument is gone, allowing much shorter usage in
  printf-like functions

Since this test is supposed to check the order in which globals are presented
after AST reordering, such oracle changes must be considered carefully. Here,
there's no dependency between `j` and `k`, so that they can indeed be swapped.
This in fact better reflect the original global list before reordering

NB: `l` is always at the very top of the list, despite being inserted last. This
might warrant investigation at some point. However, the resulting AST after
reordering is correct, which is the main goal.

Fixes #1093

Clang 13 emits warnings related to uninitialized variables:

variable 'r' is used uninitialized whenever 'if'
condition is false [-Wsometimes-uninitialized]

This is due to the fact that the assert(0) macro, when using Frama-C's libc,
is expanded to __FC_assert. Since it is not known by the compiler, it cannot
consider it as "noreturn" when the condition is zero. Note that adding
'__attribute__ ((__noreturn__))' will not work: Frama-C will assume it
never returns, even when the condition is true.
Initializing the 'r' variables with a default value will not change the
actual behavior, and will avoid the warnings.

- Always fold on the location bases.
- For a given base, reduce if the number of integer offsets is smaller than
  the plevel or the ilevel.

[tests] removes -journal-disable & -check options that are already defined in @PTEST_DEFAULT_OPTIONS@

- use of cannot is apparently preferred over can not
- hov box without formatting hints is useless. Besides, opening
  an inner box very late on the line is usually not a good idea.