aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Bitcode/Reader/BitstreamReader.cpp
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2013-02-08 23:55:43 +0000
committerAnna Zaks <ganna@apple.com>2013-02-08 23:55:43 +0000
commita5096f6f518edfbacabe742bab7d86a71343de5e (patch)
treee543f2535a8f37ec22a86d12bba98969fe05b920 /llvm/lib/Bitcode/Reader/BitstreamReader.cpp
parent27692bcf289ce4b0eeab35a17825acb6cad38fe3 (diff)
downloadllvm-a5096f6f518edfbacabe742bab7d86a71343de5e.zip
llvm-a5096f6f518edfbacabe742bab7d86a71343de5e.tar.gz
llvm-a5096f6f518edfbacabe742bab7d86a71343de5e.tar.bz2
[analyzer] IvarInvalidation: add annotation for partial invalidation
The new annotation allows having methods that only partially invalidate IVars and might not be called from the invalidation methods directly (instead, are guaranteed to be called before the invalidation occurs). The checker is going to trust the programmer to call the partial invalidation method before the invalidator.This is common in cases when partial object tear down happens before the death of the object. llvm-svn: 174779
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitstreamReader.cpp')
0 files changed, 0 insertions, 0 deletions