| -- { 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; |