diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-08-28 17:56:06 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-09-10 09:44:10 +0200 |
| commit | ac957a621cf1e9beeb52695250b7600ed066448f (patch) | |
| tree | 4de9d2c41b4673b012a5d1202cdd94c3e33f7199 /gcc/tree-vect-patterns.cc | |
| parent | 7b77938c1b52e067db919b83c67bb7ca9e88b84c (diff) | |
| download | gcc-ac957a621cf1e9beeb52695250b7600ed066448f.zip gcc-ac957a621cf1e9beeb52695250b7600ed066448f.tar.gz gcc-ac957a621cf1e9beeb52695250b7600ed066448f.tar.bz2 | |
ada: Evaluate calls to GNAT.Source_Info routines in semantic checking
When semantic checking mode is active, i.e. when switch -gnatc is
present or when the frontend is operating in the GNATprove mode,
we now rewrite calls to GNAT.Source_Info routines in evaluation
and not expansion (which is disabled in these modes).
This is needed to recognize constants initialized with calls to
GNAT.Source_Info as static constants, regardless of expansion being
enabled.
gcc/ada/
* exp_intr.ads, exp_intr.adb (Expand_Source_Info): Move
declaration to package spec.
* sem_eval.adb (Eval_Intrinsic_Call): Evaluate calls to
GNAT.Source_Info where possible.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
0 files changed, 0 insertions, 0 deletions