diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2021-05-25 14:12:37 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-08 13:34:18 +0000 |
| commit | cd4341ef953bc5697917b3e6e43c59be03da0bee (patch) | |
| tree | 265e12f8c9985d08f761fbe484821f81c8a69f50 /gcc/ada/gcc-interface/decl.c | |
| parent | 242c0f4772c6697ba0b27853f153a13970bbded9 (diff) | |
| download | gcc-cd4341ef953bc5697917b3e6e43c59be03da0bee.zip gcc-cd4341ef953bc5697917b3e6e43c59be03da0bee.tar.gz gcc-cd4341ef953bc5697917b3e6e43c59be03da0bee.tar.bz2 | |
[Ada] Prevent crash on inspection point for unfrozen entity
gcc/ada/
* exp_prag.adb (Expand_Pragma_Inspection_Point): After expansion
of the Inspection_Point pragma, check if referenced entities
that have a freeze node are already frozen. If they aren't, emit
a warning and turn the pragma into a no-op.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions