git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Bob Duff <duff@adacore.com>
	Fri, 24 Jun 2022 18:25:48 +0000 (14:25 -0400)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Tue, 12 Jul 2022 12:24:12 +0000 (12:24 +0000)
commit	e124352c0ada83486926f110c8b28a0a431c98b4
tree	39b9113a69497e0d183cb28e60625ccb37ccfec8	tree \| snapshot
parent	6a64ee3903166dcb1a7803fbf49c31d0f89875a8	commit \| diff

[Ada] Refine heuristics for unreachable-code warnings

This patch refines the heuristics for when we warn about unreachable
code, to avoid common false alarms.

gcc/ada/

* sem_ch5.adb (Check_Unreachable_Code): Refine heuristics.
* sem_util.ads, sem_util.adb (Is_Static_Constant_Name): Remove
this; instead we have a new function Is_Simple_Case in
Sem_Ch5.Check_Unreachable_Code.

gcc/ada/sem_ch5.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.ads		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom