clang/test/Analysis/flexible-array-members.c

   1 // -fstrict-flex-arrays=2 means that only undefined or zero element arrays are considered as FAMs.
   2
   3 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c90 \
   4 // RUN:    -fstrict-flex-arrays=2
   5 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c99 \
   6 // RUN:    -fstrict-flex-arrays=2
   7 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c11 \
   8 // RUN:    -fstrict-flex-arrays=2
   9 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c17 \
  10 // RUN:    -fstrict-flex-arrays=2
  11
  12 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++98 -x c++ \
  13 // RUN:    -fstrict-flex-arrays=2
  14 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++03 -x c++ \
  15 // RUN:    -fstrict-flex-arrays=2
  16 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++11 -x c++ \
  17 // RUN:    -fstrict-flex-arrays=2
  18 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++14 -x c++ \
  19 // RUN:    -fstrict-flex-arrays=2
  20 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++17 -x c++ \
  21 // RUN:    -fstrict-flex-arrays=2
  22
  23 // By default, -fstrict-flex-arrays=0, which means that even single element arrays are considered as FAMs.
  24 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c17 \
  25 // RUN:    -DSINGLE_ELEMENT_FAMS
  26 // RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++17 -x c++ \
  27 // RUN:    -DSINGLE_ELEMENT_FAMS
  28
  29 typedef __typeof(sizeof(int)) size_t;
  30 size_t clang_analyzer_getExtent(void *);
  31 void clang_analyzer_dump(size_t);
  32
  33 void *alloca(size_t size);
  34 void *malloc(size_t size);
  35 void free(void *ptr);
  36
  37 void test_incomplete_array_fam(void) {
  38   typedef struct FAM {
  39     char c;
  40     int data[];
  41   } FAM;
  42
  43   FAM fam;
  44   clang_analyzer_dump(clang_analyzer_getExtent(&fam));
  45   clang_analyzer_dump(clang_analyzer_getExtent(fam.data));
  46   // expected-warning@-2 {{4 S64b}}
  47   // expected-warning@-2 {{Unknown}}
  48
  49   FAM *p = (FAM *)alloca(sizeof(FAM));
  50   clang_analyzer_dump(clang_analyzer_getExtent(p));
  51   clang_analyzer_dump(clang_analyzer_getExtent(p->data));
  52   // expected-warning@-2 {{4 U64b}}
  53   // expected-warning@-2 {{Unknown}}
  54
  55   FAM *q = (FAM *)malloc(sizeof(FAM));
  56   clang_analyzer_dump(clang_analyzer_getExtent(q));
  57   clang_analyzer_dump(clang_analyzer_getExtent(q->data));
  58   // expected-warning@-2 {{4 U64b}}
  59   // expected-warning@-2 {{Unknown}}
  60   free(q);
  61 }
  62
  63 void test_zero_length_array_fam(void) {
  64   typedef struct FAM {
  65     char c;
  66     int data[0];
  67   } FAM;
  68
  69   FAM fam;
  70   clang_analyzer_dump(clang_analyzer_getExtent(&fam));
  71   clang_analyzer_dump(clang_analyzer_getExtent(fam.data));
  72   // expected-warning@-2 {{4 S64b}}
  73   // expected-warning@-2 {{Unknown}}
  74
  75   FAM *p = (FAM *)alloca(sizeof(FAM));
  76   clang_analyzer_dump(clang_analyzer_getExtent(p));
  77   clang_analyzer_dump(clang_analyzer_getExtent(p->data));
  78   // expected-warning@-2 {{4 U64b}}
  79   // expected-warning@-2 {{Unknown}}
  80
  81   FAM *q = (FAM *)malloc(sizeof(FAM));
  82   clang_analyzer_dump(clang_analyzer_getExtent(q));
  83   clang_analyzer_dump(clang_analyzer_getExtent(q->data));
  84   // expected-warning@-2 {{4 U64b}}
  85   // expected-warning@-2 {{Unknown}}
  86   free(q);
  87 }
  88
  89 void test_single_element_array_possible_fam(void) {
  90   typedef struct FAM {
  91     char c;
  92     int data[1];
  93   } FAM;
  94
  95 #ifdef SINGLE_ELEMENT_FAMS
  96   FAM likely_fam;
  97   clang_analyzer_dump(clang_analyzer_getExtent(&likely_fam));
  98   clang_analyzer_dump(clang_analyzer_getExtent(likely_fam.data));
  99   // expected-warning@-2 {{8 S64b}}
 100   // expected-warning@-2 {{Unknown}}
 101
 102   FAM *p = (FAM *)alloca(sizeof(FAM));
 103   clang_analyzer_dump(clang_analyzer_getExtent(p));
 104   clang_analyzer_dump(clang_analyzer_getExtent(p->data));
 105   // expected-warning@-2 {{8 U64b}}
 106   // expected-warning@-2 {{Unknown}}
 107
 108   FAM *q = (FAM *)malloc(sizeof(FAM));
 109   clang_analyzer_dump(clang_analyzer_getExtent(q));
 110   clang_analyzer_dump(clang_analyzer_getExtent(q->data));
 111   // expected-warning@-2 {{8 U64b}}
 112   // expected-warning@-2 {{Unknown}}
 113   free(q);
 114 #else
 115   FAM likely_fam;
 116   clang_analyzer_dump(clang_analyzer_getExtent(&likely_fam));
 117   clang_analyzer_dump(clang_analyzer_getExtent(likely_fam.data));
 118   // expected-warning@-2 {{8 S64b}}
 119   // expected-warning@-2 {{4 S64b}}
 120
 121   FAM *p = (FAM *)alloca(sizeof(FAM));
 122   clang_analyzer_dump(clang_analyzer_getExtent(p));
 123   clang_analyzer_dump(clang_analyzer_getExtent(p->data));
 124   // expected-warning@-2 {{8 U64b}}
 125   // expected-warning@-2 {{4 S64b}}
 126
 127   FAM *q = (FAM *)malloc(sizeof(FAM));
 128   clang_analyzer_dump(clang_analyzer_getExtent(q));
 129   clang_analyzer_dump(clang_analyzer_getExtent(q->data));
 130   // expected-warning@-2 {{8 U64b}}
 131   // expected-warning@-2 {{4 S64b}}
 132   free(q);
 133 #endif
 134 }