public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2022-10-01  4:50 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2022-10-01  4:50 UTC (permalink / raw)
  To: gcc-cvs

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

commit bc96cc4a48c135466d637cc55db4615c7f8f5f7e
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Sat Oct 1 01:04:50 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index 2d93947cb26..8e0cd5a08ac 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -552,6 +553,7 @@ gigi (Node_Id gnat_root,
 	  (get_identifier ("__gnat_last_chance_handler"), NULL_TREE, ftype,
 	   NULL_TREE, is_default, true, true, true, false, false, NULL,
 	   Empty);
+      set_call_expr_flags (decl, ECF_NORETURN | ECF_THROW);
       for (i = 0; i < (int) ARRAY_SIZE (gnat_raise_decls); i++)
 	gnat_raise_decls[i] = decl;
     }
@@ -715,6 +717,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-23 20:12 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-23 20:12 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:36904147e6088f1de2634198e6e3ecbcc96a797f

commit 36904147e6088f1de2634198e6e3ecbcc96a797f
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Fri Jun 23 17:09:57 2023 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_XTHROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_XTHROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index ddc7b6dde1e..7b98cb7bd83 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -519,6 +519,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_XTHROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -721,6 +722,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_XTHROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-09  6:16 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-09  6:16 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:60f645153bff211091dd5ede48b010f604029fa0

commit 60f645153bff211091dd5ede48b010f604029fa0
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Jun 8 01:35:05 2023 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index 5fc1a26fede..64bdf3ca8d2 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -715,6 +716,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-08 10:58 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-08 10:58 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:2cbdae3a00b1c4065949ccf2a88efddcde22c7ea

commit 2cbdae3a00b1c4065949ccf2a88efddcde22c7ea
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index ddc7b6dde1e..965565ad2da 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -519,6 +519,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -721,6 +722,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-08 10:42 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-08 10:42 UTC (permalink / raw)
  To: gcc-cvs

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

commit 5e592380beb755d6d48c40d6e9ac1c3c85b245d4
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Jun 8 01:35:05 2023 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index ddc7b6dde1e..965565ad2da 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -519,6 +519,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -721,6 +722,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-08  9:17 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-08  9:17 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:2cbdae3a00b1c4065949ccf2a88efddcde22c7ea

commit 2cbdae3a00b1c4065949ccf2a88efddcde22c7ea
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index ddc7b6dde1e..965565ad2da 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -519,6 +519,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -721,6 +722,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2023-06-08  4:47 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2023-06-08  4:47 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:38ed60475a50a712b7aab311dc9964fdd9e91aa0

commit 38ed60475a50a712b7aab311dc9964fdd9e91aa0
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index ddc7b6dde1e..965565ad2da 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -519,6 +519,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -721,6 +722,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2022-10-25  2:51 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2022-10-25  2:51 UTC (permalink / raw)
  To: gcc-cvs

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

commit aca8940c3424cec4b2050c53df54df81fcf36fcf
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index d0ff741585e..6cd602b2ef6 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -715,6 +716,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2022-10-20 22:31 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2022-10-20 22:31 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:67f303a7355589d12b80ae1dd86d4fe9f28b6b86

commit 67f303a7355589d12b80ae1dd86d4fe9f28b6b86
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]
    
    Mark exception-(re)raising builtin declarations with ECF_THROW.
    
    
    for  gcc/ada/gcc-interface/ChangeLog
    
            * trans.cc (gigi): Mark __gnat_reraise_zcx with ECF_THROW.
            (build_raise_check): Likewise for all rcheck subprograms.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index d0ff741585e..5bfa6f362a2 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -552,6 +553,7 @@ gigi (Node_Id gnat_root,
 	  (get_identifier ("__gnat_last_chance_handler"), NULL_TREE, ftype,
 	   NULL_TREE, is_default, true, true, true, false, false, NULL,
 	   Empty);
+      set_call_expr_flags (decl, ECF_NORETURN);
       for (i = 0; i < (int) ARRAY_SIZE (gnat_raise_decls); i++)
 	gnat_raise_decls[i] = decl;
     }
@@ -715,6 +717,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2022-10-20  4:09 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2022-10-20  4:09 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:13aa3c2c1518792e193c1e2862c20e0f9d069fef

commit 13aa3c2c1518792e193c1e2862c20e0f9d069fef
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Oct 19 20:36:20 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index d0ff741585e..d75ba55d985 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -552,6 +553,7 @@ gigi (Node_Id gnat_root,
 	  (get_identifier ("__gnat_last_chance_handler"), NULL_TREE, ftype,
 	   NULL_TREE, is_default, true, true, true, false, false, NULL,
 	   Empty);
+      set_call_expr_flags (decl, ECF_NORETURN | ECF_THROW);
       for (i = 0; i < (int) ARRAY_SIZE (gnat_raise_decls); i++)
 	gnat_raise_decls[i] = decl;
     }
@@ -715,6 +717,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

* [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface]
@ 2022-10-06 10:31 Alexandre Oliva
  0 siblings, 0 replies; 11+ messages in thread
From: Alexandre Oliva @ 2022-10-06 10:31 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:293dd3e4657a0acd187a248f28e267b09c857290

commit 293dd3e4657a0acd187a248f28e267b09c857290
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Thu Oct 6 04:43:25 2022 -0300

    hardcfr: mark throw-expected functions [ada/gcc-interface]

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index 2d93947cb26..8e0cd5a08ac 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -513,6 +513,7 @@ gigi (Node_Id gnat_root,
 			   ftype, NULL_TREE,
 			   is_default, true, true, true, false, false, NULL,
 			   Empty);
+  set_call_expr_flags (reraise_zcx_decl, ECF_NORETURN | ECF_THROW);
 
   /* Dummy objects to materialize "others" and "all others" in the exception
      tables.  These are exported by a-exexpr-gcc.adb, so see this unit for
@@ -552,6 +553,7 @@ gigi (Node_Id gnat_root,
 	  (get_identifier ("__gnat_last_chance_handler"), NULL_TREE, ftype,
 	   NULL_TREE, is_default, true, true, true, false, false, NULL,
 	   Empty);
+      set_call_expr_flags (decl, ECF_NORETURN | ECF_THROW);
       for (i = 0; i < (int) ARRAY_SIZE (gnat_raise_decls); i++)
 	gnat_raise_decls[i] = decl;
     }
@@ -715,6 +717,7 @@ build_raise_check (int check, enum exception_info_kind kind)
     = create_subprog_decl (get_identifier (Name_Buffer), NULL_TREE, ftype,
 			   NULL_TREE, is_default, true, true, true, false,
 			   false, NULL, Empty);
+  set_call_expr_flags (result, ECF_NORETURN | ECF_THROW);
 
   return result;
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2023-06-23 20:12 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-01  4:50 [gcc(refs/users/aoliva/heads/testme)] hardcfr: mark throw-expected functions [ada/gcc-interface] Alexandre Oliva
2022-10-06 10:31 Alexandre Oliva
2022-10-20  4:09 Alexandre Oliva
2022-10-20 22:31 Alexandre Oliva
2022-10-25  2:51 Alexandre Oliva
2023-06-08  4:47 Alexandre Oliva
2023-06-08  9:17 Alexandre Oliva
2023-06-08 10:42 Alexandre Oliva
2023-06-08 10:58 Alexandre Oliva
2023-06-09  6:16 Alexandre Oliva
2023-06-23 20:12 Alexandre Oliva

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).