[Bug analyzer/99860] RFE: analyzer does not respect "restrict"

2023-08-29 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99860 --- Comment #3 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:034d99e81484fbb83f15da91ee1a744b9301b04f commit r14-3556-g034d99e81484fbb83f15da91ee1a744b9301b04f Author: David Malcolm Date:

[Bug analyzer/99860] RFE: analyzer does not respect "restrict"

2022-07-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99860 --- Comment #2 from David Malcolm --- Quoting Paul Eggert here: https://lists.gnu.org/archive/html/bug-gnulib/2022-07/msg00066.html > I looked into this a bit more, and it turns out that GCC was wrong > about > what happens when some

[Bug analyzer/99860] RFE: analyzer does not respect "restrict"

2021-04-07 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99860 --- Comment #1 from David Malcolm --- Notes on "restrict": https://en.cppreference.com/w/c/language/restrict