global-region-invalidation.c [plain text]
void clang_analyzer_eval(int);
#include "Inputs/system-header-simulator.h"
int size_rdar9373039 = 1;
int rdar9373039() {
int x;
int j = 0;
for (int i = 0 ; i < size_rdar9373039 ; ++i)
x = 1;
int extra = (2 + strlen ("Clang") + ((4 - ((unsigned int) (2 + strlen ("Clang")) % 4)) % 4)) + (2 + strlen ("1.0") + ((4 - ((unsigned int) (2 + strlen ("1.0")) % 4)) % 4));
for (int i = 0 ; i < size_rdar9373039 ; ++i)
j += x;
return j;
}
void foo();
int stdinTest() {
int i = 0;
fscanf(stdin, "%d", &i);
foo();
int m = i; fscanf(stdin, "%d", &i);
int j = i; return m + j; }
int testErrnoSystem() {
int i;
int *p = 0;
fscanf(stdin, "%d", &i);
if (errno == 0) {
fscanf(stdin, "%d", &i); return 5 / errno; }
return 0;
}
int testErrnoInternal() {
int i;
int *p = 0;
fscanf(stdin, "%d", &i);
if (errno == 0) {
foo(); return 5 / errno; }
return 0;
}
const int x = 0;
int constIntGlob() {
const int *m = &x;
foo();
return 3 / *m; }
extern const int x;
int constIntGlobExtern() {
if (x == 0) {
foo();
return 5 / x; }
return 0;
}
void testAnalyzerEvalIsPure() {
extern int someGlobal;
if (someGlobal == 0) {
clang_analyzer_eval(someGlobal == 0); clang_analyzer_eval(someGlobal == 0); }
}