gcc/testsuite/c-c++-common/analyzer/escaping-1.c

   1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   2
   3 extern void unknown_fn (void *);
   4
   5 static int only_used_by_test_1;
   6
   7 static void test_1 (void)
   8 {
   9   int local_1, local_2;
  10   __analyzer_dump_escaped (); /* { dg-warning "escaped: 0: " } */
  11
  12   unknown_fn (NULL);
  13   __analyzer_dump_escaped (); /* { dg-warning "escaped: 0: " } */
  14
  15   unknown_fn (&local_1);
  16   __analyzer_dump_escaped (); /* { dg-warning "escaped: 1: 'local_1'" } */
  17
  18   /* Should be idempotent.  */
  19   unknown_fn (&local_1);
  20   __analyzer_dump_escaped (); /* { dg-warning "escaped: 1: 'local_1'" } */
  21
  22   /* Escape a static global.  */
  23   unknown_fn (&only_used_by_test_1);
  24   __analyzer_dump_escaped (); /* { dg-warning "escaped: 2: 'local_1', 'only_used_by_test_1'" } */
  25 }