gcc/testsuite/gcc.dg/attr-returns-nonnull.c

   1 /* Verify that attribute returns_nonnull on global and local function
   2    declarations is merged.
   3    { dg-do compile }
   4    { dg-options "-Wall -fdump-tree-optimized -fdelete-null-pointer-checks" }
   5    { dg-skip-if "" keeps_null_pointer_checks } */
   6
   7 void foo (void);
   8
   9
  10 void frnn_local_local (void)
  11 {
  12   __attribute__ ((returns_nonnull)) void* frnn1 (void);
  13
  14   if (!frnn1 ())
  15     foo ();
  16 }
  17
  18 void gnr_local_local (void)
  19 {
  20   void* frnn1 (void);
  21
  22   if (!frnn1 ())
  23     foo ();
  24 }
  25
  26 void frnn_local_global (void)
  27 {
  28   __attribute__ ((returns_nonnull)) void* frnn2 (void);
  29
  30   if (!frnn2 ())
  31     foo ();
  32 }
  33
  34 void* frnn2 (void);
  35
  36 void gnr_local_global (void)
  37 {
  38   if (!frnn2 ())
  39     foo ();
  40 }
  41
  42 __attribute__ ((returns_nonnull)) void* frnn3 (void);
  43
  44 void frnn_global_local (void)
  45 {
  46   if (!frnn3 ())
  47     foo ();
  48 }
  49
  50 void gnr_global_local (void)
  51 {
  52   void* frnn3 (void);
  53
  54   if (!frnn3 ())
  55     foo ();
  56 }
  57
  58
  59 /* { dg-final { scan-tree-dump-not "foo" "optimized" } } */