HomePhabricator

[analyzer] Pass actual state to alloc/dealloc handling functions.

Description

[analyzer] Pass actual state to alloc/dealloc handling functions.

The state obtained from CheckerContext::getState() may be outdated by the time the alloc/dealloc handling function is called (e.g. the state was modified but the transition was not performed). State argument was added to all alloc/dealloc handling functions in order to get the latest state and to allow sequential calls to those functions.

Details

Committed
ayartsevFeb 10 2015, 12:13 PM
Parents
rL228736: Fixed memory corruption problem.
Branches
Unknown
Tags
Unknown