]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add Check_Error_Detected before "raise Bad_Attribute"
authorBob Duff <duff@adacore.com>
Fri, 6 Jan 2023 01:21:15 +0000 (20:21 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:41 +0000 (11:36 +0200)
commitb4509d1960165b205425c5b14ef1ff4ea5fd4435
treebd11c6d14807b609003c79610bd70f292d1f176e
parent0f7d8f2f669c64529aafb24bfc0b1f59b4958f19
ada: Add Check_Error_Detected before "raise Bad_Attribute"

We shouldn't raise Bad_Attribute if there is no error.
This patch adds a call to Check_Error_Detected to make sure that's true.
(There are other cases where we raise Bad_Attribute;
this patch doesn't try to fix them all.)

gcc/ada/

* sem_attr.adb
(Analyze_Attribute): Add a call to Check_Error_Detected.
gcc/ada/sem_attr.adb