[all-commits] [llvm/llvm-project] 486882: [analyzer] Model comparision methods of std::uniqu...

[Deep Majumder via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 48688257c52dfc2c666b64730f0467c2cc38210c
      https://github.com/llvm/llvm-project/commit/48688257c52dfc2c666b64730f0467c2cc38210c
  Author: Deep Majumder <deep.majumder2019 at gmail.com>
  Date:   2021-07-16 (Fri, 16 Jul 2021)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h
    M clang/lib/StaticAnalyzer/Checkers/SmartPtr.h
    M clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp
    M clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-cxx.h
    M clang/test/Analysis/smart-ptr.cpp

  Log Message:
  -----------
  [analyzer] Model comparision methods of std::unique_ptr

This patch handles all the comparision methods (defined via overloaded
operators) on std::unique_ptr. These operators compare the underlying
pointers, which is modelled by comparing the corresponding inner-pointer
SVal. There is also a special case for comparing the same pointer.

Differential Revision: https://reviews.llvm.org/D104616