Skip to content
Commit db7dd9cd authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Migrated retain/release checker to use the Generic Data Map in GRState (instead 

of using CheckerState).

Removed CheckerState from GRState.

Added class GRStateRef which wraps GRState* and GRStateManager*. This is handy
for generating new states with a single handle.

Added member template set/get functions to GRStateRef/GRState/GRStateManager for
accessing the Generic Data Map.

llvm-svn: 54788
parent 1b351d42
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment