[Bug middle-end/91582] missing hrap overflow detection for strcpy

2019-08-28 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 Martin Sebor changed: What|Removed |Added Keywords||diagnostic Status|UNCONFIRMED

[Bug middle-end/91582] missing hrap overflow detection for strcpy

2019-08-28 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91582 --- Comment #1 from Martin Sebor --- Created attachment 46771 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46771&action=edit A proof-of-concept implementation of the overflow detection. With the attached proof of concept GCC diagnoses th