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

[Matteo Nicoli]

I am writing this follow-up email to specify that I executed the tests 
contained in this patch on aarch64-arm64-linux-gnu

Best regards,
Matteo


> On Sep 9, 2025, at 10:39 PM, Matteo Nicoli <matteo.nicoli...@gmail.com> wrote:
> 
> 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
> 
> <117760.smt2>
> <tree-optimization-117760.patch>