diff options
| author | Yannick Moy <moy@adacore.com> | 2023-02-22 17:25:33 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:59:05 +0200 |
| commit | 583acc4d8e570e738516463cc1c6afcce22ee13d (patch) | |
| tree | 55bd15f0af03db1e2258d8fe031706611d8e296f | |
| parent | cf1cee3fadc0febaa130f8931ce87e8b0317633b (diff) | |
| download | gcc-583acc4d8e570e738516463cc1c6afcce22ee13d.zip gcc-583acc4d8e570e738516463cc1c6afcce22ee13d.tar.gz gcc-583acc4d8e570e738516463cc1c6afcce22ee13d.tar.bz2 | |
ada: Add default value at initialization for CodePeer
Avoid spurious alarm by CodePeer analysis by adding default value
for a variable initialization.
gcc/ada/
* sem_util.adb (Check_Node): Add default init on local Id.
| -rw-r--r-- | gcc/ada/sem_util.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index c8599d4..baf4cef 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -2618,7 +2618,8 @@ package body Sem_Util is function Check_Node (N : Node_Id) return Traverse_Result is Is_Writable_Actual : Boolean := False; - Id : Entity_Id; + Id : Entity_Id := Empty; + -- Default init of Id for CodePeer begin if Nkind (N) = N_Identifier then |