Dan Gohman e6d5e88c12 Track a retain+release nesting level independently of the
known-incremented level, because the two concepts can be used
to prove the saftey of a retain+release removal in different
ways.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138016 91177308-0d34-0410-b5e6-96231b3b80d8
2011-08-19 00:26:36 +00:00
..
2011-08-16 01:42:56 +00:00
2011-08-15 20:52:09 +00:00
2011-07-15 20:58:38 +00:00
2011-08-02 02:47:45 +00:00