[Bug analyzer/98247] RFE: detect Flexible Array Member misuse in analyzer

2022-09-09 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98247 --- Comment #4 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:084dc9a0c6cec14596093ad077fc3e25c6b99bc3 commit r13-2571-g084dc9a0c6cec14596093ad077fc3e25c6b99bc3 Author: David Malcolm Date: Fr

[Bug analyzer/98247] RFE: detect Flexible Array Member misuse in analyzer

2022-08-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98247 --- Comment #3 from David Malcolm --- Seems to work: Does not warn for provided example: https://godbolt.org/z/Wa3E8Mdqr If I increase the memset to access one beyond, it complains: https://godbolt.org/z/K6Wcneh8Y with the caveat th

[Bug analyzer/98247] RFE: detect Flexible Array Member misuse in analyzer

2022-08-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98247 David Malcolm changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug analyzer/98247] RFE: detect Flexible Array Member misuse in analyzer

2021-03-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98247 David Malcolm changed: What|Removed |Added Component|c |analyzer Summary|gcc analyzer