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

Convert ProgramStateRef to a smart pointer for managing the reference counts... 

Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates.  This leads to a slight memory
improvement, and a simplification of the logic for managing ProgramState objects.

llvm-svn: 149311
parent 13a4487f
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