forked from OSchip/llvm-project
123 lines
4.7 KiB
C
123 lines
4.7 KiB
C
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c90
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c99
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c11
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c17
|
|
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++98 -x c++
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++03 -x c++
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++11 -x c++
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++14 -x c++
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++17 -x c++
|
|
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c17 \
|
|
// RUN: -analyzer-config consider-single-element-arrays-as-flexible-array-members=true -DSINGLE_ELEMENT_FAMS
|
|
// RUN: %clang_analyze_cc1 -triple x86_64-linux-gnu -analyzer-checker=core,unix,debug.ExprInspection %s -verify -std=c++17 -x c++ \
|
|
// RUN: -analyzer-config consider-single-element-arrays-as-flexible-array-members=true -DSINGLE_ELEMENT_FAMS
|
|
|
|
typedef __typeof(sizeof(int)) size_t;
|
|
size_t clang_analyzer_getExtent(void *);
|
|
void clang_analyzer_dump(size_t);
|
|
|
|
void *alloca(size_t size);
|
|
void *malloc(size_t size);
|
|
void free(void *ptr);
|
|
|
|
void test_incomplete_array_fam() {
|
|
typedef struct FAM {
|
|
char c;
|
|
int data[];
|
|
} FAM;
|
|
|
|
FAM fam;
|
|
clang_analyzer_dump(clang_analyzer_getExtent(&fam));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(fam.data));
|
|
// expected-warning@-2 {{4 S64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *p = (FAM *)alloca(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p->data));
|
|
// expected-warning@-2 {{4 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *q = (FAM *)malloc(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q->data));
|
|
// expected-warning@-2 {{4 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
free(q);
|
|
}
|
|
|
|
void test_zero_length_array_fam() {
|
|
typedef struct FAM {
|
|
char c;
|
|
int data[0];
|
|
} FAM;
|
|
|
|
FAM fam;
|
|
clang_analyzer_dump(clang_analyzer_getExtent(&fam));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(fam.data));
|
|
// expected-warning@-2 {{4 S64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *p = (FAM *)alloca(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p->data));
|
|
// expected-warning@-2 {{4 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *q = (FAM *)malloc(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q->data));
|
|
// expected-warning@-2 {{4 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
free(q);
|
|
}
|
|
|
|
void test_single_element_array_possible_fam() {
|
|
typedef struct FAM {
|
|
char c;
|
|
int data[1];
|
|
} FAM;
|
|
|
|
#ifdef SINGLE_ELEMENT_FAMS
|
|
FAM likely_fam;
|
|
clang_analyzer_dump(clang_analyzer_getExtent(&likely_fam));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(likely_fam.data));
|
|
// expected-warning@-2 {{8 S64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *p = (FAM *)alloca(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p->data));
|
|
// expected-warning@-2 {{8 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
|
|
FAM *q = (FAM *)malloc(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q->data));
|
|
// expected-warning@-2 {{8 U64b}}
|
|
// expected-warning@-2 {{Unknown}}
|
|
free(q);
|
|
#else
|
|
FAM likely_fam;
|
|
clang_analyzer_dump(clang_analyzer_getExtent(&likely_fam));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(likely_fam.data));
|
|
// expected-warning@-2 {{8 S64b}}
|
|
// expected-warning@-2 {{4 S64b}}
|
|
|
|
FAM *p = (FAM *)alloca(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(p->data));
|
|
// expected-warning@-2 {{8 U64b}}
|
|
// expected-warning@-2 {{4 S64b}}
|
|
|
|
FAM *q = (FAM *)malloc(sizeof(FAM));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q));
|
|
clang_analyzer_dump(clang_analyzer_getExtent(q->data));
|
|
// expected-warning@-2 {{8 U64b}}
|
|
// expected-warning@-2 {{4 S64b}}
|
|
free(q);
|
|
#endif
|
|
}
|