HomePhabricator

[analyzer] unix.Malloc: preserve AllocaRegion bound to __builtin_alloca().

Description

[analyzer] unix.Malloc: preserve AllocaRegion bound to __builtin_alloca().

Binding builtin_alloca() return value to the symbolic value kills previous binding to a AllocaRegion established by the core.BuiltinFunctions checker. Other checkers may rely upon this information. Rollback handling of builtin_alloca() to the way prior to r229850.

Details

Committed
ayartsevMar 3 2015, 2:58 PM
Parents
rL231159: Remove unnecessary platform specific code from TestGlobalVariables.
Branches
Unknown
Tags
Unknown