diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2014-01-29 15:26:18 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 16:26:18 +0100 |
| commit | 1ae706185e7ac4057f176910104156032c0f7b1d (patch) | |
| tree | a4934a87437d9d9c541d4ad11fffc49ce2d20e86 /gcc/ada/checks.adb | |
| parent | cca7f1076abe9e521702ddbc1a2dbfea072bd563 (diff) | |
| download | gcc-1ae706185e7ac4057f176910104156032c0f7b1d.zip gcc-1ae706185e7ac4057f176910104156032c0f7b1d.tar.gz gcc-1ae706185e7ac4057f176910104156032c0f7b1d.tar.bz2 | |
checks.adb: minor clarification.
2014-01-29 Ed Schonberg <schonberg@adacore.com>
* checks.adb: minor clarification.
* sem_ch7.adb (Declare_Inherited_Private_Subprograms): Limit
search for primitive operations to the entities that immediately
follow the type declaration.
From-SVN: r207248
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 826c09b..872c18a 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -6694,8 +6694,9 @@ package body Checks is if (not Inside_Init_Proc or else SPARK_Mode = On) - -- Do not emit the warning within a conditional expression - -- Why not ??? + -- Do not emit the warning within a conditional expression, + -- where the expression might not be evaluated, and the warning + -- appear as extraneous noise. and then not Within_Case_Or_If_Expression (N) then |