gcc/testsuite/gnat.dg/asan1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

--  { dg-do compile }
--  { dg-additional-sources asan1_pkg.ads }
--  { dg-options "-fsanitize=address" }
--  { dg-skip-if "no address sanitizer" { no_fsanitize_address } }

with Asan1_Pkg;

procedure Asan1 is
   use Asan1_Pkg;

   X, Y : E;
begin
   X := C (N);
   Y := V;
end Asan1;