[Bug middle-end/116736] missing diagnostic for out-of-bounds array access

2024-09-26 Thread qinzhao at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116736 qinzhao at gcc dot gnu.org changed: What|Removed |Added CC||qinzhao at gcc dot gnu.org

[Bug middle-end/116736] missing diagnostic for out-of-bounds array access

2024-09-26 Thread qinzhao at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116736 --- Comment #2 from qinzhao at gcc dot gnu.org --- currently, the "counted_by" info is used in __builtin_dynamic_object_size and bounds sanitizer. and expected to catch out-of-bounds access during runtime. So, this is the expected behavior.