| Issue |
129211
|
| Summary |
[analyzer] Crash
|
| Labels |
clang:static analyzer,
crash-on-valid
|
| Assignees |
|
| Reporter |
balazs-benics-sonarsource
|
The analyzer would crash after #127602 on the following code: https://compiler-explorer.com/z/fzoqP36xq
```c++
struct a {
int b;
int : 0;
};
void top() {
struct a d[][5][5] = {
{
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}}
},
{
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
},
{
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}, {}},
{{}, {}, {}, {}},
}
};
}
```
```sh
clang --analyze -Xclang -analyzer-checker=core crash.c
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
