[cfe-dev] VLA size in typedef

Balázs Kéri via cfe-dev cfe-dev at lists.llvm.org
Fri Apr 3 03:54:38 PDT 2020

I want to extend the VLA size checker to recognize invalid conditions if
the VLA is used through a typedef. But the typedef statement seems to be
not evaluated, the VLA size value is not known by the analyzer.

The following code produces a warning:
void check_uninit_sized_VLA() {
  int x;
  int vla[x]; // expected-warning{{Declared variable-length array (VLA)
uses a garbage value as its size}}

But the following does not:
void check_uninit_sized_VLA() {
  int x;
  typedef int VLA[x];
  VLA vla; // value of 'x' is Unknown here, why ?

The `checkPreStmt` with `Decl*` is not called for `TypedefDecl`.
Similarly, at a `sizeof(VLA)`  in the code above `x` is always Unknown.
How is it possible (if it is) to obtain value of `x` in these cases, or
find a way to check validity of the VLA in the typedef (or a `sizeof` call)?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200403/0c85471b/attachment.html>

More information about the cfe-dev mailing list