[Bug analyzer/98797] Simpler version of the XFAIL in casts-1.c with proposed solution

2022-02-10 Thread brian.sobulefsky at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797 --- Comment #4 from Brian Sobulefsky --- (In reply to David Malcolm from comment #3) > The branch in comment #0 now gives a 404, but in any case I had to rewrite > the store code in gcc 12 to support detection of uses of uninitialized > values,

[Bug analyzer/98797] Simpler version of the XFAIL in casts-1.c with proposed solution

2022-02-10 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug analyzer/98797] Simpler version of the XFAIL in casts-1.c with proposed solution

2022-02-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797 --- Comment #2 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4 commit r12-7184-g2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4 Author: David Malcolm Date: We

[Bug analyzer/98797] Simpler version of the XFAIL in casts-1.c with proposed solution

2021-01-29 Thread brian.sobulefsky at protonmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98797 --- Comment #1 from Brian Sobulefsky --- I have updated the repository I linked previously so that it has current gcc sources and also includes a solution for the case where struct s2 is not a single field, that is, we have something like: stru