https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108894
--- Comment #9 from qinzhao at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #8) > Well, -fsanitize=bounds-strict certainly shouldn't imply > -fstrict-flex-arrays=2, > it should just treat [1] and [4] (but I think it does even [0] right now) as > regular arrays for the purposes of the sanitization. with a small example I just tested, with -fsanitize=bounds-strict, I can see, it treats: [], [0] as flexible array members; but [1], [4] as regular arrays This is the same level as -fstrict-flex-arrays=2. should we just keep its default behavior like this, or let it more strictly as -fstrict-flex-arrays=3?
