OSDN Git Service

[Analyzer] Handle unique_ptr::swap() in SmartPtrModeling
authorNithin Vadukkumchery Rajendrakumar <vrnithinkumar@gmail.com>
Wed, 15 Jul 2020 00:54:44 +0000 (02:54 +0200)
committerNithin Vadukkumchery Rajendrakumar <vrnithinkumar@gmail.com>
Tue, 21 Jul 2020 10:05:27 +0000 (12:05 +0200)
commit76c0577763505ea3db1017a9aab579c1c2f135d0
tree49ec30b5bf19dbde063fa7cc8d603b4fc2efbaf3
parent7d591e123e0eb2d3415840de9c2b45c3742f0eaa
[Analyzer] Handle unique_ptr::swap() in SmartPtrModeling

    Summary:
    Implemented modeling for unique_ptr::swap() SmartPtrModeling

    Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, Charusso, martong, ASDenysPetrov, cfe-commits

    Reviewers: NoQ, Szelethus, vsavchenko, xazax.hun
    Reviewed By: NoQ, vsavchenko, xazax.hun

    Tags: #clang

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