gcc/testsuite/gnat.dg/asan1.adb

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

with Asan1_Pkg;

procedure Asan1 is
   use Asan1_Pkg;

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