src/plugins/e-acsl/scripts/e-acsl-gcc.sh · 7c213a7017111e195f58fbec041a0593551f95c5 · pub / frama-c

"src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle" did not exist on "5ceb9812b59f04d50357b56f39f0918c88a309b5"

3 years ago

[eacsl] Deactivate PIE in debug mode · 7c213a70

Basile Desloges authored 3 years ago

When the executable is linked with PIE, it is not possible for E-ACSL
to produce an accurate backtrace. This commit deactivate PIE if
e-acsl-gcc.sh compiles in debug mode.

7c213a70

History

[eacsl] Deactivate PIE in debug mode

Basile Desloges authored 3 years ago

When the executable is linked with PIE, it is not possible for E-ACSL
to produce an accurate backtrace. This commit deactivate PIE if
e-acsl-gcc.sh compiles in debug mode.