https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
--- Comment #9 from Xi Ruoyao ---
(In reply to Andrew Pinski from comment #8)
> (In reply to CTC from comment #7)
> > No errors or warnings raised and 0 alarms generated by the analysis when
> > analyzed by frama-c.
>
> Still undefined reduced
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
--- Comment #8 from Andrew Pinski ---
(In reply to CTC from comment #7)
> No errors or warnings raised and 0 alarms generated by the analysis when
> analyzed by frama-c.
Still undefined reduced testcase (with `-Wextra -Wall`):
: At top level:
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)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
Xi Ruoyao changed:
What|Removed |Added
Keywords||needs-bisection,
|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
Xi Ruoyao changed:
What|Removed |Added
CC||xry111 at gcc dot gnu.org
--- Comment #5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
Andrew Pinski changed:
What|Removed |Added
Component|c |middle-end
--- Comment #4 from Andrew