Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/noreturn2.adb @ 143:76e1cf5455ef
add cbc_gc test
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 23 Dec 2018 19:24:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do compile } package body Noreturn2 is procedure Raise_Exception_No_Defer (Message : String); pragma No_Return (Raise_Exception_No_Defer); procedure Raise_From (X : Exception_Occurrence) is Occurrence_Message : constant String := Exception_Message (X); begin if Occurrence_Message = "$" then Raise_Exception_No_Defer (Occurrence_Message); else Raise_Exception_No_Defer ("::" & Occurrence_Message); end if; end; procedure Raise_Exception_No_Defer (Message : String) is begin raise Program_Error; end; end Noreturn2;