diff options
| author | Bob Duff <duff@adacore.com> | 2020-03-08 17:50:49 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:35:00 -0400 |
| commit | b9daf13c9350cc02c120971a472092d474d63e8f (patch) | |
| tree | dfccfc4a98120fae5644c202994f1af491dfc4da /gcc/builtins.c | |
| parent | 9c62140e826a5cda62b49ad7712e7bc297ab77f6 (diff) | |
| download | gcc-b9daf13c9350cc02c120971a472092d474d63e8f.zip gcc-b9daf13c9350cc02c120971a472092d474d63e8f.tar.gz gcc-b9daf13c9350cc02c120971a472092d474d63e8f.tar.bz2 | |
[Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode
2020-06-10 Bob Duff <duff@adacore.com>
gcc/ada/
* sem_prag.adb (Invariant): Remove the pragma removing code. It
doesn't work to remove the pragma, because various flags are set
during Build_Invariant_Procedure_Declaration and
Build_Invariant_Procedure_Body that need to be set to avoid the
spurious warnings.
* exp_util.adb (Make_Invariant_Call): Avoid calling the
invariant-checking procedure if the body is empty. This is an
optimization.
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions