[LCG] Clean up and make NDEBUG verify calls more rigorous with
authorChandler Carruth <chandlerc@gmail.com>
Sun, 4 Sep 2016 08:34:31 +0000 (08:34 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Sun, 4 Sep 2016 08:34:31 +0000 (08:34 +0000)
commit11b3f60cd9445b5f5d27f04dc0ad19e3da91a360
treec6b9b730c5b844a864c05aa54733cdb7ea93bd6a
parent1f621f0a70e307455b000118838df2f155c5ea50
[LCG] Clean up and make NDEBUG verify calls more rigorous with
make_scope_exit now that we have that utility.

This makes the code much more clear and readable by isolating the check.
It also makes it easy to go through and make sure all the interesting
update routines have a start and end verify so we don't slowly let the
graph drift into an invalid state.

llvm-svn: 280619
llvm/lib/Analysis/LazyCallGraph.cpp