diff options
author | Steve Baird <baird@adacore.com> | 2023-02-02 17:33:53 -0800 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:10 +0200 |
commit | 472f4cb52ac6f47926a19eb2c53cd848fa6b3730 (patch) | |
tree | 2d5d120219266252b2ccc4e7881421d3cf70b469 /gcc/ada/sem_ch6.adb | |
parent | f2cffc11f85691e26f80b76065411ec0a27f2a49 (diff) | |
download | gcc-472f4cb52ac6f47926a19eb2c53cd848fa6b3730.zip gcc-472f4cb52ac6f47926a19eb2c53cd848fa6b3730.tar.gz gcc-472f4cb52ac6f47926a19eb2c53cd848fa6b3730.tar.bz2 |
ada: Accept Assert pragmas in expression functions
gcc/ada/
* sem_ch4.adb (Analyze_Expression_With_Actions.Check_Action_Ok):
Accept an executable pragma occuring in a declare expression as
per AI22-0045. This means Assert and Inspection_Point pragmas as
well as any implementation-defined pragmas that the implementation
chooses to categorize as executable. Currently Assume and Debug
are the only such pragmas.
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
0 files changed, 0 insertions, 0 deletions