False negative in Clang Static Analyzer if an aggregate is initialized with parnthesized list #148875
Description
C++20 Enabled treatment parenthesized initialization as aggregate initialization
Clang Static Analyzer, however, does not handle it properly:
struct Storage {
int x;
};
int t1() {
Storage w{32};
return 1 / (w.x - 32); // Division by zero reported
}
int t2() {
Storage w(32);
return 1 / (w.x - 32); // False negative
}