[Analyzer] Add checkRegionChanges for SmartPtrModeling
authorNithin Vadukkumchery Rajendrakumar <vrnithinkumar@gmail.com>
Wed, 15 Jul 2020 00:54:44 +0000 (02:54 +0200)
committerNithin Vadukkumchery Rajendrakumar <vrnithinkumar@gmail.com>
Mon, 20 Jul 2020 23:13:40 +0000 (01:13 +0200)
commita5609102117d2384fb73a14f37d24a0c844e3864
treef850d2dee2b1e9260c1aa4a4919720ba3ec89624
parenta54c42df9a7261eafc9291128be4ff5217302dd3
[Analyzer]   Add checkRegionChanges for SmartPtrModeling

    Summary:
    Implemented checkRegionChanges for SmartPtrModeling

    Reviewers: NoQ, Szelethus, vsavchenko, xazax.hun

    Reviewed By: NoQ, vsavchenko, xazax.hun

    Subscribers: martong, cfe-commits
    Tags: #clang

    Differential Revision: https://reviews.llvm.org/D83836
clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/smart-ptr.cpp