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/errout.ads | |
| 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/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 53c7e2b..e46433f 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -112,8 +112,8 @@ package Errout is -- already placed an error (not warning) message at that location, -- then we assume this is cascaded junk and delete the message. - -- This normal suppression action may be overridden in cases 2-5 (but not - -- in case 1 or 7 by setting All_Errors mode, or by setting the special + -- This normal suppression action may be overridden in cases 2-5 (but + -- not in case 1 or 7) by setting All_Errors mode, or by setting the -- unconditional message insertion character (!) as described below. --------------------------------------------------------- |