clang/Analysis/GRBlockCounter.cpp · 90ae68fe71b85bc38d545e2ebb8eb8f897c74c54 · Roger Ferrer / llvm-epi-0.8

"llvm/lib/git@repo.hca.bsc.es:rferrer/llvm-epi-0.8.git" did not exist on "e4f98722be9129afe5a45d34d938c96fc8867629"

Added GRBlockCounter class, which tracks the number of times blocks · 90ae68fe

Ted Kremenek authored Feb 12, 2008

have been visited in a path.  Added GRBlockCounter as an item to be
enqueued to the worklist.

Modified "ProcessBranch" in GRConstants to prune branches with symbolic
conditions that have been already taken.

llvm-svn: 47010

90ae68fe