[clang] Constraint normalization uses too much memory

[cookiestarfish]

template <typename T>
concept C0 = true;

template <typename T>
concept C1 = true;

template <typename T>
concept C2 = true;

template <typename T>
concept C3 = true;

template <typename T>
concept C4 = true;

template <typename T>
concept X =
    (C0<T> && (C2<T> && C3<T>) || (C2<T> && C4<T>) || (C3<T> && C4<T>)) ||
    (C0<T> && (C1<T> && C2<T>) ||
     (C1<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)) ||
     (C2<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>))) ||
    ((C2<T> && C3<T>) || (C2<T> && C4<T>) ||
     (C3<T> && C4<T>) && (C1<T> && C2<T>) ||
     (C1<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)) ||
     (C2<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)));

template <typename T>
concept Y = C0<T> && X<T>;

int foo(X auto x) { return 10; }
int foo(Y auto y) { return 20; }

int bar() { return foo(0); }

https://godbolt.org/z/d1e8z7vvK

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: marco (cookiestarfish)

``` template <typename T> concept C0 = true;

template <typename T>
concept C1 = true;

template <typename T>
concept C2 = true;

template <typename T>
concept C3 = true;

template <typename T>
concept C4 = true;

template <typename T>
concept X =
(C0<T> && (C2<T> && C3<T>) || (C2<T> && C4<T>) || (C3<T> && C4<T>)) ||
(C0<T> && (C1<T> && C2<T>) ||
(C1<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)) ||
(C2<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>))) ||
((C2<T> && C3<T>) || (C2<T> && C4<T>) ||
(C3<T> && C4<T>) && (C1<T> && C2<T>) ||
(C1<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)) ||
(C2<T> && (C1<T> && C3<T>) || (C1<T> && C4<T>) || (C3<T> && C4<T>)));

template <typename T>
concept Y = C0<T> && X<T>;

int foo(X auto x) { return 10; }
int foo(Y auto y) { return 20; }

int bar() { return foo(0); }

https://godbolt.org/z/d1e8z7vvK
</details>

[zyn0217]

Are you running a fuzzer to get this?

[cookiestarfish]

Are you running a fuzzer to get this?

No, the function is the majority5 function, I used it because it blows up in size during normalization.