diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-10-31 17:49:47 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-21 10:57:42 +0100 |
| commit | 3bf92fe3f2e4d6915ee6b9e9cb9cd9778a3386df (patch) | |
| tree | c8092c601e51ad7c1c0938aed3b3345f24927eb5 /gcc/testsuite/gnat.dg | |
| parent | ea60a4cd194eeea2d7a63b93b6b01b9c951302da (diff) | |
| download | gcc-3bf92fe3f2e4d6915ee6b9e9cb9cd9778a3386df.zip gcc-3bf92fe3f2e4d6915ee6b9e9cb9cd9778a3386df.tar.gz gcc-3bf92fe3f2e4d6915ee6b9e9cb9cd9778a3386df.tar.bz2 | |
ada: Small consistency fix for -gnatwv warning
The goal is to arrange for the warning to be issued consistently between
objects whose address is taken and objects whose address is not taken.
gcc/ada/
* sem_warn.adb (Check_References.Type_OK_For_No_Value_Assigned):
New predicate.
(Check_References): For Warn_On_No_Value_Assigned, use the same test
on the type in the address-not-taken and default cases.
gcc/testsuite/ChangeLog:
* gnat.dg/warn25.adb: Add xfail.
Diffstat (limited to 'gcc/testsuite/gnat.dg')
| -rw-r--r-- | gcc/testsuite/gnat.dg/warn25.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/warn25.adb b/gcc/testsuite/gnat.dg/warn25.adb index e784870..cdf28ae 100644 --- a/gcc/testsuite/gnat.dg/warn25.adb +++ b/gcc/testsuite/gnat.dg/warn25.adb @@ -1,5 +1,6 @@ -- { dg-do compile } -- { dg-options "-gnatwa" } +-- { dg-xfail-if "expected regression" { *-*-* } } with Ada.Exceptions; procedure Warn25 is |