diff options
author | Bob Duff <duff@adacore.com> | 2020-07-07 17:29:44 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-19 05:53:39 -0400 |
commit | 2bb7741fbeee2f4fd472cd7e9791ae0b54e7a2b4 (patch) | |
tree | e44af8ff8c94c46657a321a5050f7c367f367855 /gcc/ada/scng.adb | |
parent | 08b0a5e2002f7f43d7f5aa3b55e7c6c22ec3926d (diff) | |
download | gcc-2bb7741fbeee2f4fd472cd7e9791ae0b54e7a2b4.zip gcc-2bb7741fbeee2f4fd472cd7e9791ae0b54e7a2b4.tar.gz gcc-2bb7741fbeee2f4fd472cd7e9791ae0b54e7a2b4.tar.bz2 |
[Ada] Expanded names in ghost assignments
gcc/ada/
* ghost.adb (Whole_Object_Ref): New function to compute the name
of the whole object.
(Mark_And_Set_Ghost_Assignment): Rewrite to use
Whole_Object_Ref. We need to partly analyze the left-hand side
in order to distinguish expanded names and record components.
* lib-xref.ads, lib-xref.adb (Deferred_References): Move table
to body, and add Defer_Reference to update the table, avoiding
duplicates.
(Generate_Reference): Avoid duplicates.
* sem_ch8.ads, sem_ch8.adb (Find_Direct_Name): Remove _OK
parameters, which are no longer needed. Ignore errors in
Ignore_Errors mode.
* sem_util.ads, sem_util.adb (Preanalyze_Without_Errors): Make
this public, so we can call it from Ghost.
* errout.ads, scng.adb, sem_prag.adb: Minor.
Diffstat (limited to 'gcc/ada/scng.adb')
-rw-r--r-- | gcc/ada/scng.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/scng.adb b/gcc/ada/scng.adb index a2bd176..162d882 100644 --- a/gcc/ada/scng.adb +++ b/gcc/ada/scng.adb @@ -2574,7 +2574,7 @@ package body Scng is Token := Tok_Identifier; - -- Here is where we check if it was a keyword + -- Check if it is a keyword if Is_Keyword_Name (Token_Name) then Accumulate_Token_Checksum; |