mirror of
https://github.com/llvm/llvm-project.git
synced 2025-05-17 00:46:05 +00:00

known-incremented level, because the two concepts can be used to prove the saftey of a retain+release removal in different ways. llvm-svn: 138016