2 // { dg-options "-O -fsanitize=null -fno-sanitize-recover=null -fdump-tree-sanopt-details" }
3 // { dg-skip-if "" { *-*-* } { "-flto -fno-fat-lto-objects" } }
4 // { dg-shouldfail "ubsan" }
18 // { dg-output "reference binding to null pointer of type 'int'(\n|\r\n|\r)" }
19 // { dg-final { scan-tree-dump-times "Optimizing" 4 "sanopt"} }
20 // { dg-final { cleanup-tree-dump "sanopt" } }