]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf1cee3) | patch
ada: Add default value at initialization for CodePeer
authorYannick Moy <moy@adacore.com>
Wed, 22 Feb 2023 16:25:33 +0000 (17:25 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:59:05 +0000 (09:59 +0200)
commit583acc4d8e570e738516463cc1c6afcce22ee13d
tree55bd15f0af03db1e2258d8fe031706611d8e296ftree
parentcf1cee3fadc0febaa130f8931ce87e8b0317633bcommit | diff
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.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git