diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-04-11 10:04:19 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-10 11:03:58 +0200 |
| commit | ba1b04fb59f555b1a641aa6e6a77cd0b902780dd (patch) | |
| tree | 7734a3c1434bf53534e52cefee7215859ff1e750 /gcc/tree-vect-loop.cc | |
| parent | 8ce93cc22e06639ff82d2ec9e75da1f998dc70ad (diff) | |
| download | gcc-ba1b04fb59f555b1a641aa6e6a77cd0b902780dd.zip gcc-ba1b04fb59f555b1a641aa6e6a77cd0b902780dd.tar.gz gcc-ba1b04fb59f555b1a641aa6e6a77cd0b902780dd.tar.bz2 | |
ada: Add switch to disable expansion of assertions in CodePeer mode
A new debug switch -gnatd_k is added, which has only effect in CodePeer
mode. When enabled, assertion expressions are no longer expanded (which
is the default in the CodePeer mode); instead, their expansion needs to
be explicitly enabled by pragma Assertion_Policy.
gcc/ada/
* debug.adb (d_k): Use first available debug switch.
* gnat1drv.adb (Adjust_Global_Switches): If new debug switch is
active then don't expand assertion expressions by default.
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions