Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/contract1.adb @ 140:4e440907fcbf
copy CbC goto flang in cfgexpand
remove some CbC unnecessary code
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 14 Nov 2018 00:24:45 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
-- { dg-do compile } -- { dg-options "-gnatd.F -gnatwa" } with Ada.Dispatching; procedure Contract1 with SPARK_Mode is function Foo return Boolean is begin Ada.Dispatching.Yield; return True; end Foo; Dummy : constant Integer := 0; begin if Foo and then True then raise Program_Error; end if; end Contract1;