On 1/9/25 10:48 AM, Qing Zhao wrote:
But I don't think we generally know if the problematic statements came from user code or were generated by the compiler.I think Jeff's patch is not reasonable since it boils down to not diagnose -Warray-bounds but instead remove those stmts.If these stmts are dead-code that are generated by compiler optimization (NOT from source code), removing them before diagnosis is correct. (To avoid false positive warnings).
Jeff