[all-commits] [llvm/llvm-project] bbc866: [analyzer] NFC: Don't clean up range constraints t...

[NoQ via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bbc8662db1548f98b1c475cadf6260f9079c11ea
      https://github.com/llvm/llvm-project/commit/bbc8662db1548f98b1c475cadf6260f9079c11ea
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-11-21 (Thu, 21 Nov 2019)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  Log Message:
  -----------
  [analyzer] NFC: Don't clean up range constraints twice.

Slightly improves static analysis speed.

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


  Commit: 0b58b80edb81bf8fb401f8a6e057ca9d50abc0f7
      https://github.com/llvm/llvm-project/commit/0b58b80edb81bf8fb401f8a6e057ca9d50abc0f7
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2019-11-21 (Thu, 21 Nov 2019)

  Changed paths:
    M clang/lib/Analysis/BodyFarm.cpp
    M clang/lib/StaticAnalyzer/Core/CallEvent.cpp
    M clang/test/Analysis/Inputs/expected-plists/nullability-notes.m.plist
    M clang/test/Analysis/nullability-notes.m
    M clang/test/Analysis/properties.m

  Log Message:
  -----------
  [analyzer] Fix Objective-C accessor body farms after 2073dd2d.

Fix a canonicalization problem for the newly added property accessor stubs that
was causing a wrong decl to be used for 'self' in the accessor's body farm.

Fix a crash when constructing a body farm for accessors of a property
that is declared and @synthesize'd in different (but related) interfaces.

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


Compare: https://github.com/llvm/llvm-project/compare/b29e5cdb7c98...0b58b80edb81