// RUN: %clang_analyze_cc1 -analyzer-checker core -verify %s | |
// expected-no-diagnostics | |
// Stuff that used to hang. | |
int g(); | |
int f(int y) { | |
return y + g(); | |
} | |
int produce_a_very_large_symbol(int x) { | |
return f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(f( | |
f(f(f(f(f(f(f(f(f(f(f(f(f(f(f(x)))))))))))))))))))))))))))))))); | |
} | |
void produce_an_exponentially_exploding_symbol(int x, int y) { | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
x += y; y += x + g(); | |
} |