Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/range_check.adb @ 127:4c56639505ff
fix function.c and add CbC-example Makefile
author | mir3636 |
---|---|
date | Wed, 11 Apr 2018 18:46:58 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do run } procedure range_check is function ident (x : integer) return integer is begin return x; end ident; guard1 : Integer; r : array (1 .. ident (10)) of integer; pragma Suppress (Index_Check, r); guard2 : Integer; begin guard1 := 0; guard2 := 0; r (11) := 3; end;