Go to file
Ted Kremenek 31672dbda3 Cleaned up typedefs involving StateTy so that we always use "StateTy*" instead of StateTy.
This is conceptually much cleaner, as it shows that the state is always a pointer.
It also makes it easier to marshall these values around across the internal APIs
of the path-sensitive engine.

llvm-svn: 47921
2008-03-05 00:11:33 +00:00
clang Cleaned up typedefs involving StateTy so that we always use "StateTy*" instead of StateTy. 2008-03-05 00:11:33 +00:00
llvm Removed spurious EnablePPCRS check. 2008-03-04 23:27:33 +00:00