gcc/testsuite/g++.dg/ubsan/return-3.C

   1 // { dg-do compile }
   2 // { dg-options "-fsanitize=return -Wno-return-type" }
   3
   4 struct S { S (); ~S (); };
   5
   6 S::S () {}
   7 S::~S () {}
   8
   9 __attribute__((no_sanitize_undefined))
  10 int
  11 foo (int x)
  12 {
  13   S a;
  14   {
  15     S b;
  16     if (x)
  17       return 1;
  18   }
  19 }
  20
  21 int
  22 main ()
  23 {
  24   foo (0);
  25 }
  26
  27 // { dg-final { scan-assembler-not "__ubsan_handle" } }