diff options
author | Bob Duff <duff@adacore.com> | 2022-06-24 14:25:48 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-12 12:24:12 +0000 |
commit | e124352c0ada83486926f110c8b28a0a431c98b4 (patch) | |
tree | 39b9113a69497e0d183cb28e60625ccb37ccfec8 /gcc/ada/sem_util.ads | |
parent | 6a64ee3903166dcb1a7803fbf49c31d0f89875a8 (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.
Diffstat (limited to 'gcc/ada/sem_util.ads')
-rw-r--r-- | gcc/ada/sem_util.ads | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index e5b1118d979..64cf5d041dd 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2485,9 +2485,6 @@ package Sem_Util is -- Determine whether source node N denotes "True" or "False". Note that -- this is not true for expressions that got folded to True or False. - function Is_Static_Constant_Name (N : Node_Id) return Boolean; - -- True if N is a name that statically denotes a static constant. - function Is_Unchecked_Conversion_Instance (Id : Entity_Id) return Boolean; -- Determine whether an arbitrary entity denotes an instance of function -- Ada.Unchecked_Conversion. |