HomePhabricator

[analyzer] Different handling of alloca().

Description

[analyzer] Different handling of alloca().

+ separate bug report for "Free alloca()" error to be able to customize checkers responsible for this error.
+ Muted "Free alloca()" error for NewDelete checker that is not responsible for c-allocated memory, turned on for unix.MismatchedDeallocator checker.
+ RefState for alloca() - to be able to detect usage of zero-allocated memory by upcoming ZeroAllocDereference checker.
+ AF_Alloca family to handle alloca() consistently - keep proper family in RefState, handle 'alloca' by getCheckIfTracked() facility, etc.
+ extra tests.

Details

Committed
ayartsevFeb 19 2015, 5:36 AM
Parents
rL229849: [x86] Simplify the pre-SSSE3 v16i8 lowering significantly by decomposing
Branches
Unknown
Tags
Unknown