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

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.