diff options
| author | Bob Duff <duff@adacore.com> | 2021-11-30 16:00:40 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-05 11:32:35 +0000 |
| commit | a6505936a35e7a5c66e36f7c4e2032c5c7f64838 (patch) | |
| tree | 161f8a7cce508871ac49e9bcbec33d9ece175b79 /gcc/ada/sem_ch3.adb | |
| parent | 54403a8130c126cc3e901341dac64afbc7273347 (diff) | |
| download | gcc-a6505936a35e7a5c66e36f7c4e2032c5c7f64838.zip gcc-a6505936a35e7a5c66e36f7c4e2032c5c7f64838.tar.gz gcc-a6505936a35e7a5c66e36f7c4e2032c5c7f64838.tar.bz2 | |
[Ada] Prevent Get_Current_Value_Condition from returning the same node
gcc/ada/
* exp_util.ads (Get_Current_Value_Condition): Belt: Add a
postcondition that Val /= Var.
* sem_util.adb (Known_Null): Suspenders: Raise Program_Error if
Get_Current_Value_Condition returned the same value. This will
be enabled even without assertions, because infinite recursion
is a nuisance -- better to crash if this bug ever occurs.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions