projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c5fb4f) | patch
[Ada] Fix missing overflow checks in analysis of predefined unit
authorYannick Moy <moy@adacore.com>
Tue, 7 Jan 2020 16:39:31 +0000 (17:39 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:32 +0000 (06:01 -0400)
commit9ff488f0292841a709840b6d2cb4d18e2f1b491a
treefdfbdc27fff956a7854c0e0992bb2c5bd2492798tree
parent3c5fb4f4957a7046f631c648b362522d55d19fbccommit | diff
[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.
gcc/ada/inline.adb diff | blob | history