projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c77384a) | patch
[Ada] Crash on incorrect frontend inlining in GNATprove mode
authorYannick Moy <moy@adacore.com>
Mon, 21 May 2018 14:50:49 +0000 (14:50 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 21 May 2018 14:50:49 +0000 (14:50 +0000)
commitfe44c442e4c83f3280a72e917c418c6e6129cba7
treed147867589f14fae1ab46865b64cd4daac8511adtree | snapshot
parentc77384a44f4e8b30d90c5a1c7f4593cb76c0d67ecommit | diff
[Ada] Crash on incorrect frontend inlining in GNATprove mode

In some cases, the inlining performed in GNATprove mode leads to a crash,
when inlining a call where a return statement of the inlined function
returns a string literal. Now fixed.

2018-05-21  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_eval.adb (Static_Length): Take into account case of variable of
subtype string literal.

From-SVN: r260452
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_eval.adb diff | blob | history
Domain: System / Toolchain;