diff options
| author | Yannick Moy <moy@adacore.com> | 2018-10-09 15:06:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-10-09 15:06:41 +0000 |
| commit | ea891b439e876000d139e45f44c49b9436d195a4 (patch) | |
| tree | 2611d4d339ccb513378562a60cfa3e28d72cad21 /gcc/ada/gcc-interface/trans.c | |
| parent | e693ddbec3e38aeff2e229785b9037ba0caa17c8 (diff) | |
| download | gcc-ea891b439e876000d139e45f44c49b9436d195a4.zip gcc-ea891b439e876000d139e45f44c49b9436d195a4.tar.gz gcc-ea891b439e876000d139e45f44c49b9436d195a4.tar.bz2 | |
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode
GNATprove does not have sometimes the precise information of the
compiler about size of types and objects, so that it cannot evaluate the
expressions in pragma Compile_Time_Error/Warning the same way the
compiler does. Thus, these pragmas should be ignored in GNATprove mode,
as it can neither verify them nor assume them (if the expression cannot
be evaluated at compile time, then the semantics for GNAT is to ignore
them).
2018-10-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Rewrite
pragmas as null statements in GNATprove mode.
From-SVN: r264981
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
0 files changed, 0 insertions, 0 deletions