https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
--- Comment #7 from CTC <19373742 at buaa dot edu.cn> ---
Reduced testcase:
# cat testcase.i
struct a {
short b;
} d, g;
int c;
static struct a e(short);
static struct a f(int *i) {
long h[] = {1, 1, 1, 1, 1, 1, 1};
for (; c <= 8; ++c)
e(*i <= (c > 0));
return d;
}
struct a e() {
return g;
}
void main() { f(&c); }
No errors or warnings raised and 0 alarms generated by the analysis when
analyzed by frama-c.
