[gcc(refs/users/aoliva/heads/testme)] hardcfr: fix indirect jump

[gcc(refs/users/aoliva/heads/testme)] hardcfr: fix indirect jump

[Alexandre Oliva]

https://gcc.gnu.org/g:9231203d6d72f1a9e10e564fc4ebd6e7abb74c9f

commit 9231203d6d72f1a9e10e564fc4ebd6e7abb74c9f
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Oct 19 02:52:45 2023 -0300

    hardcfr: fix indirect jump

Diff:
---
 gcc/gimple-harden-control-flow.cc | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/gcc/gimple-harden-control-flow.cc b/gcc/gimple-harden-control-flow.cc
index ac4a329ebad1..546837a450b8 100644
--- a/gcc/gimple-harden-control-flow.cc
+++ b/gcc/gimple-harden-control-flow.cc
@@ -1321,9 +1321,13 @@ pass_harden_control_flow_redundancy::execute (function *fun)
 		   || bb == bb_eh_cleanup)
 		: (!is_a <gcall *> (stmt)
 		   || !gimple_call_noreturn_p (stmt))
-		? (/* Catch cases in which successors would be
+		? (stmt_can_make_abnormal_goto (stmt)
+		   /* ??? Check before indirect nonlocal goto, or
+		      calls thereof?  */
+		   ? false
+		   /* Catch cases in which successors would be
 		      expected.  */
-		   gcc_unreachable (), false)
+		   : (gcc_unreachable (), false))
 		: (!flag_exceptions
 		   || gimple_call_nothrow_p (as_a <gcall *> (stmt)))
 		? check_before_nothrow_noreturn_calls

[gcc(refs/users/aoliva/heads/testme)] hardcfr: fix indirect jump

[Alexandre Oliva]

https://gcc.gnu.org/g:5a047ddab777aa7f335a50aa982ebb3697cf86a8

commit 5a047ddab777aa7f335a50aa982ebb3697cf86a8
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Mon Jul 3 18:09:34 2023 -0300

    hardcfr: fix indirect jump

Diff:
---
 gcc/gimple-harden-control-flow.cc | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/gcc/gimple-harden-control-flow.cc b/gcc/gimple-harden-control-flow.cc
index ac4a329ebad..546837a450b 100644
--- a/gcc/gimple-harden-control-flow.cc
+++ b/gcc/gimple-harden-control-flow.cc
@@ -1321,9 +1321,13 @@ pass_harden_control_flow_redundancy::execute (function *fun)
 		   || bb == bb_eh_cleanup)
 		: (!is_a <gcall *> (stmt)
 		   || !gimple_call_noreturn_p (stmt))
-		? (/* Catch cases in which successors would be
+		? (stmt_can_make_abnormal_goto (stmt)
+		   /* ??? Check before indirect nonlocal goto, or
+		      calls thereof?  */
+		   ? false
+		   /* Catch cases in which successors would be
 		      expected.  */
-		   gcc_unreachable (), false)
+		   : (gcc_unreachable (), false))
 		: (!flag_exceptions
 		   || gimple_call_nothrow_p (as_a <gcall *> (stmt)))
 		? check_before_nothrow_noreturn_calls

[gcc(refs/users/aoliva/heads/testme)] hardcfr: fix indirect jump

[Alexandre Oliva]

https://gcc.gnu.org/g:fe2e54ad3bdde9b6a52e389ad9d8c5f8f5e2878f

commit fe2e54ad3bdde9b6a52e389ad9d8c5f8f5e2878f
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Jun 29 15:38:13 2023 -0300

    hardcfr: fix indirect jump

Diff:
---
 gcc/gimple-harden-control-flow.cc | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/gcc/gimple-harden-control-flow.cc b/gcc/gimple-harden-control-flow.cc
index ac4a329ebad..546837a450b 100644
--- a/gcc/gimple-harden-control-flow.cc
+++ b/gcc/gimple-harden-control-flow.cc
@@ -1321,9 +1321,13 @@ pass_harden_control_flow_redundancy::execute (function *fun)
 		   || bb == bb_eh_cleanup)
 		: (!is_a <gcall *> (stmt)
 		   || !gimple_call_noreturn_p (stmt))
-		? (/* Catch cases in which successors would be
+		? (stmt_can_make_abnormal_goto (stmt)
+		   /* ??? Check before indirect nonlocal goto, or
+		      calls thereof?  */
+		   ? false
+		   /* Catch cases in which successors would be
 		      expected.  */
-		   gcc_unreachable (), false)
+		   : (gcc_unreachable (), false))
 		: (!flag_exceptions
 		   || gimple_call_nothrow_p (as_a <gcall *> (stmt)))
 		? check_before_nothrow_noreturn_calls