[Bug c++/89880] New: compiles code that should not be compiled

[tiagomacarios at gmail dot com]

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

            Bug ID: 89880
           Summary: compiles code that should not be compiled
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tiagomacarios at gmail dot com
  Target Milestone: ---

https://godbolt.org/z/4cbr24

void f()
{
    int a;
    int b;
    bool c;
    if ((!((int(bool(a))) ^ (int(bool(b)))) && !(c))) {}
}