[Bug sanitizer/113628] -fsanitize=undefined failed to check a signed integer overflow

2024-01-27 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113628 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug sanitizer/113628] -fsanitize=undefined failed to check a signed integer overflow

2024-01-27 Thread jiajing_zheng at 163 dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113628 --- Comment #2 from Jiajing_Zheng --- (In reply to Harald van Dijk from comment #1) > These two files are not equivalent. The equivalent would be > long TVH = (g_106 / (g_51 ? g_51 : 16653417461)); > because that is the type that subexpression

[Bug sanitizer/113628] -fsanitize=undefined failed to check a signed integer overflow

2024-01-27 Thread harald at gigawatt dot nl via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113628 Harald van Dijk changed: What|Removed |Added CC||harald at gigawatt dot nl --- Comment