[PATCH] Teach the analyzer about multi-dimensional VLAs

Daniel Fahlgren daniel at fahlgren.se
Thu Oct 2 02:15:30 PDT 2014


On Thu, 2014-09-04 at 16:21 +0200, Daniel Fahlgren wrote:
> Hi,
> 
> This patch handles the fixme about multi-dimensional VLAs in
> VLASizeChecker. I tried to keep the changeset as small as possible by
> cutting the checkPreStmt method into two parts. The checker first
> iterates over all dimensions and reports if a bug is found. It later
> iterates again, calculating the size. By scanning the dimensions twice
> it can report bugs even if an unknown size is found.
> 
> Feedback and comments are, as always, welcome.

Ping?

Cheers,
Daniel Fahlgren




More information about the cfe-commits mailing list