https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
Richard Biener changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #11 from GCC Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac
commit r14-9029-g5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #10 from Richard Biener ---
(In reply to Zhendong Su from comment #8)
> extern void f();
> char a[1][1], b;
> int main() {
> int c = -1U;
> if (b)
> f(a[c][b]);
> return 0;
> }
for this case, while it's also
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #9 from Richard Biener ---
Other testcase with -O3:
long a, b, c;
int d;
long e[2][1];
int f() {
if (c == a)
c = b;
}
void g() {
int h, i = 0;
for (; f() + d + i; i++)
e[h][i] = 4;
}
void main() {}
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #8 from Zhendong Su ---
Another likely related one (though ICE during a different pass and at a
different location):
[519] % gcctk -v
Using built-in specs.
COLLECT_GCC=gcctk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #7 from Richard Biener ---
The issue for the comment#2 testcase remains.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #6 from GCC Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:94225dfb5623725fa519eac69338f7a632a509ae
commit r14-8956-g94225dfb5623725fa519eac69338f7a632a509ae
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #5 from Richard Biener ---
For the first testcase the issue is bitfields and 'off' being tracked in bytes.
ao_ref_init_from_vn_reference handles this by not using 'off'.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
--- Comment #4 from Richard Biener ---
_1 = a[b.1_14][7];
we "correctly" resolve b.1_14 to 1 based on range info which is
[-INF,-1] [1, +INF]. The thing is, the get_ref_base_and_extent code
cannot do anything with this range but adjusting
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
Richard Biener changed:
What|Removed |Added
Last reconfirmed||2024-02-13
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
Zhendong Su changed:
What|Removed |Added
CC||zhendong.su at inf dot ethz.ch
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
Andrew Pinski changed:
What|Removed |Added
CC||rguenth at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113895
Andrew Pinski changed:
What|Removed |Added
Keywords||ice-on-valid-code
Component|c
13 matches
Mail list logo
