[PATCH] tree-optimization/117760 - `a != b` implies that a or b is also non-zero

Tue, 09 Sep 2025 13:41:17 -0700

Dear reviewers,

I attached the patch for this Bugzilla issue: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760
I also attached an SMT file for the formal verifications of these properties. At the bottom of the file I pasted its output (executed with Z3).

Best regards,
Matteo

Attachment: 117760.smt2
Description: Binary data

Attachment: tree-optimization-117760.patch
Description: Binary data

Reply via email to