Issue 149116
Summary C++23's consteval if crashes Clang Static Analyzer
Labels bug, clang:static analyzer, crash, c++23
Assignees
Reporter necto
    A regression from v19, Static Analyzer in Clang v20 crashes when it encounters `if consteval`, see [Compiler Explorer](https://compiler-explorer.com/#z:OYLghAFBqd5QCxAYwPYBMCmBRdBLAF1QCcAaPECAMzwBtMA7AQwFtMQByARg9KtQYEAysib0QXACx8BBAKoBnTAAUAHpwAMvAFYTStJg1DIApACYAQuYukl9ZATwDKjdAGFUtAK4sGe1wAyeAyYAHI%2BAEaYxBLSAA6oCoRODB7evnoJSY4CQSHhLFExXLaY9jkMQgRMxARpPn4ldpgOKVU1BHlhkdGxttW19RlNA53B3YW9XACUtqhexMjsHAoExF4OANRCmyYA7FYaAIKbm8EEm3FruwDMACKbXGYmN4cn2xA75gBs07sHJmOp1OeComzQDFWmAAbmJ/lY9ndAe99kigR9pi83qiscjkedNkQ4hA/vs3sDtpsEFxcejTjsEGZbg9qbT3qdiJgCAsGI9NgB6TYQakAOiuxGZLxZZjFa0xrzxiORHFmtE4AFZeH4OFpSKhOG5rNZNgp5otMLszDceKQCJoVbMANYgdVcEV7DRcJ5cACc6vVNz26o0kmkao4ki19r1nF4ChAGlt9tmcFgMCg6eFKFQLDidGi5EoaFz%2BZiyAMRjMnqYCiUtT4dAI0XjEAi0YiwRqAE9ODaO8xiF2APIRbQtO3cXjFtiCIcMWg9nW8LARLzANxiWjxyekLAsQzAcRL3d4TmtaGYbe6zCqFpeJu93jnMrR2h4CLEbseLDRtZ4FiPqQF7EBEiSYHcmD7kYb5GMmfAGMACgAGp4JgADuQ5xIwgH8IIIhiOwUgyIIigqOox66CUFbGEalj6O%2B8aQLMqBXCk24ALTsYYYhdgAXha7GrOgUqmJY1hWrwqDAcQeBYIxJKlOUKQuAw7ieA0/iqV0BRFJkiTJAIQyNKQWQGQw2k9MUinjm0oxGXozStAI7S1BZkxWasHT2SMHRubpMxzAsSwSKqGpRse%2BocJsqgABzfOx3ySOC1GbFWIpuhoQo1nWFQKH8EC4IQJCWta0y8BOWjTLMCCYEwWAxApzrBvonCRqQAGSBoIqhgG6oxXsNxmJIMUxT6NykNquqRXGCZJkuKaZkg8wEHE96FhAxZ5vQxChKwyyxfFiXJQeqVdRlvCYPgRAyegei4cIojiER92kWo0aUaQaGfnEj6hRwmoTdGkVDveq0XKgYIHQlSXlidaUZVltbRLl%2BUeCW20lTM5XJtVtX1ZQTouom4ZtZNkmxrYs0VQ6LUcGYvAdV1PU3H1A1DSNY2AxFFPUwt8Cpog2bowWFAbTmW29LDRi%2Blw2XIw2tBNsQLZtse/bdoB6uDiOY4OIB06MAQc4LtGK5rhutBboBe4Hkeur4GejgXleF23sg97LDaz7hrqb4fl%2BGDLLqf4ATuwGgUoEFQYewSgPN8FMIhKHoZh2E7vd%2BFPdIL1KG9FEgGY%2BgHigtE2H78nMaxAgcVxzALvxmyCQQwn3KJViWBJerSbJl7wLMjkVCpanpMZgTjDpUwmfpFTeVP2QpH5k8D7ZXnqcM1lOZUoyLx5dlr8ZnmuePlkhYF5qn%2BGANkzGUVQ0dUvAI8PrpSKmUQHLtRsflhXXZjZVzZVQmzUSYMxAKGV%2BcV1Q%2BjML6SQ1pAx7C5lNCm8ZEy81IALLMy0wbrU2qWXabBOB3xhilX0L834fxRhdK6JBZJ3VkJnQi2dZCvXIrqXQhcvpMB%2BpOP6V8gacBBite8mwIbRTitDY6Rgn7kMRjlL%2BQo0YSwlOYQa/9ea4zqr0RqRNaakwERwGaaCca03pu1F0z9/SSESk8b4QYvQaEQdfaaACabOmGiKMwPoRp7BiiGaxQ0fRhk4DccKyDDGuKqqYsJ5MIkaKAs2ZSkggA%3D%3D%3D):
```C++
struct S {
  int ptr = 12;
  S(S &) {
    if consteval {}
  }
  S();
};

int top() {
    S h1;
    S h2 = h1;
    return 1 / (h1.ptr == h2.ptr);
}
```
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to