Snape3058 wrote:

As #59493 is an array, which is different from the test case I provided and the 
ones in #61919 and #54533,
although this pr can correctly handle the array case, do I still need to add 
the array one to the test case?

```cpp
// Additional test case from issue #59493
namespace init_list_array {

struct Base {
  int foox[1];
};

class Derived : public Base {
public:
  Derived() : Base{{42}} {
    // The dereference to this->foox below should be initialized properly.
    clang_analyzer_dump(this->foox[0]); // expected-warning{{42 S32b}}
    clang_analyzer_dump(foox[0]); // expected-warning{{42 S32b}}
  }
};

void entry() { Derived test; }

} // namespace init_list_array 
```

https://github.com/llvm/llvm-project/pull/70792
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to