Improves support of sizeof(void) and alignof(void)

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

[Eva] Do not run the recursion test with the apron ptests config.

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

As the Apron binding does not support recursion.

Feature/andre/libc various fixes

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

PathCrawler's instrumentation fails to compile if the static global variables
are conditionally declared, since it does not use '-D__FRAMAC__' due to
incompatibilities.

Andre Maroneze authored 4 years ago and Andre Maroneze committed 3 years ago

This reverts commit 3b350317.

[Kernel] add check for maximum bitfield width

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

Only in machdeps defining a positive sizeof_void.

Fails uniformly on sizeof(void) and sizeof applied to expressions of type void.

[wp] fix init-range in memvar model

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

Cherry-picked from stable/nupw

Fixes initialization

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

Make Ivette files distributed

Closes #933

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

[Eva] Partial support of recursive calls

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