[analyzer] Teach CastSizeChecker about flexible array members.
authorJordan Rose <jordan_rose@apple.com>
Tue, 18 Feb 2014 17:06:30 +0000 (17:06 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 18 Feb 2014 17:06:30 +0000 (17:06 +0000)
commit97d2c9cae777cfc042bae9c4f7d2cc7705778491
tree08c9b98f57373b8f6e646eb93687d6145e56eff0
parent5cc5cd907d52e65b7f0b61f40c4b6b08d866c969
[analyzer] Teach CastSizeChecker about flexible array members.

...as well as fake flexible array members: structs that end in arrays with
length 0 or 1.

Patch by Daniel Fahlgren!

llvm-svn: 201583
clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp
clang/test/Analysis/malloc.c
clang/test/Analysis/no-outofbounds.c