diff options
| author | Justin Squirek <squirek@adacore.com> | 2020-04-30 16:04:26 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-19 04:17:22 -0400 |
| commit | 650abc2c93ab2e599df3053c8556e70de003dd79 (patch) | |
| tree | 76d7ddf794b24fe2e9b2fad4f1cafd5f52edbc38 /gcc | |
| parent | a6d7dfbbb2f1fe25e040a31f17c03d292b5b5b61 (diff) | |
| download | gcc-650abc2c93ab2e599df3053c8556e70de003dd79.zip gcc-650abc2c93ab2e599df3053c8556e70de003dd79.tar.gz gcc-650abc2c93ab2e599df3053c8556e70de003dd79.tar.bz2 | |
[Ada] Spurious condition warning on type conversion in return
2020-06-19 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_warn.adb (Warn_On_Known_Condition): Add general sanity
check that asserts the original source node being checked
contains an entity. If not, it could be the result of special
case expansion for type conversions.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_warn.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index fe9c467..97d8a94 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -3520,6 +3520,7 @@ package body Sem_Warn is if Constant_Condition_Warnings and then Is_Known_Branch and then Comes_From_Source (Orig) + and then Nkind (Orig) in N_Has_Entity and then not In_Instance then -- Don't warn if comparison of result of attribute against a constant |