[Bug jit/105812] New: type mismatch in binary expression

[Bug jit/105812] New: type mismatch in binary expression

[bouanto at zoho dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105812

            Bug ID: 105812
           Summary: type mismatch in binary expression
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: jit
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: bouanto at zoho dot com
  Target Milestone: ---

When using a combination of unary and binary expressions on a boolean value, we
can trigger the error "type mismatch in binary expression".

I'm about to post a patch for this issue.

[Bug jit/105812] type mismatch in binary expression

[bouanto at zoho dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105812

--- Comment #1 from Antoni <bouanto at zoho dot com> ---
Created attachment 53067
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53067&action=edit
Patch

[Bug jit/105812] type mismatch in binary expression

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105812

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Antoni Boucher <antoyo@gcc.gnu.org>:

https://gcc.gnu.org/g:e3a5c77388ae3791afed4f4286ec7e41e5b9f7c3

commit r13-1353-ge3a5c77388ae3791afed4f4286ec7e41e5b9f7c3
Author: Antoni Boucher <bouanto@zoho.com>
Date:   Wed Jun 29 19:56:56 2022 -0400

    libgccjit: Fix bug where unary_op will return an integer type instead of
the correct type

    2022-06-29  Antoni Boucher  <bouanto@zoho.com>

    gcc/jit/
            PR jit/105812
            * jit-playback.cc: Use the correct return type when folding in
            as_truth_value.

    gcc/testsuite/
            PR jit/105812
            * jit.dg/test-asm.cc: Add include missing to make the test pass.
            * jit.dg/test-pr105812-bool-operations.c: New test.

[Bug jit/105812] type mismatch in binary expression

[bouanto at zoho dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105812

Antoni <bouanto at zoho dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Antoni <bouanto at zoho dot com> ---
Fixed on master.