diff options
| author | Yannick Moy <moy@adacore.com> | 2020-01-07 17:39:31 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:32 -0400 |
| commit | 9ff488f0292841a709840b6d2cb4d18e2f1b491a (patch) | |
| tree | fdfbdc27fff956a7854c0e0992bb2c5bd2492798 /gcc/ada/debug.adb | |
| parent | 3c5fb4f4957a7046f631c648b362522d55d19fbc (diff) | |
| download | gcc-9ff488f0292841a709840b6d2cb4d18e2f1b491a.zip gcc-9ff488f0292841a709840b6d2cb4d18e2f1b491a.tar.gz gcc-9ff488f0292841a709840b6d2cb4d18e2f1b491a.tar.bz2 | |
[Ada] Fix missing overflow checks in analysis of predefined unit
2020-06-03 Yannick Moy <moy@adacore.com>
gcc/ada/
* inline.adb (Expand_Inlined_Call): Do not suppress checks on
inlined code in GNATprove mode.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions