- Add `mp_bitcnt_t` type;
- Add `__gmpz_mul_2exp()` (resp. `__gmpz_tdiv_2exp()`) to support left shift (resp. right shift);
- Add `__gmpz_fits_ulong_p()` and `__gmpz_fits_slong_p()` to guard GMP to C integer coercions.

The option `-machdep` should be called with `-e-acsl-prepare` before the
`-then`, otherwise when `-machdep` is finally used then the project is cleared
and all previous analysis are lost.

- The makefile updates `PTESTS_OPTS` instead of `PLUGIN_PTESTS_OPTS` so
  that modifications of `PTESTS_OPTS` by the user are taken into
  account.
- All the test config files are generated at the same time.
- The test dependencies of E-ACSL are added to the target
  `plugins_ptests_config` to be generated along with the main target.
  This in turn allow the user to directly use `ptests.opt` to launch
  tests after compiling the plugin.

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

The ranges are inclusives, so the number of elements in `[n1 .. n2]` is
`n2 - n1 + 1`.

The number of allocated blocks wasn't decremented on deallocation.