diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-21 14:50:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-21 14:50:49 +0000 |
| commit | fe44c442e4c83f3280a72e917c418c6e6129cba7 (patch) | |
| tree | d147867589f14fae1ab46865b64cd4daac8511ad /gcc/varasm.c | |
| parent | c77384a44f4e8b30d90c5a1c7f4593cb76c0d67e (diff) | |
| download | gcc-fe44c442e4c83f3280a72e917c418c6e6129cba7.zip gcc-fe44c442e4c83f3280a72e917c418c6e6129cba7.tar.gz gcc-fe44c442e4c83f3280a72e917c418c6e6129cba7.tar.bz2 | |
[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
Diffstat (limited to 'gcc/varasm.c')
0 files changed, 0 insertions, 0 deletions