[all-commits] [llvm/llvm-project] 392222: [analyzer][NFC][MallocChecker] Convert many parame...

Kristóf Umann via All-commits all-commits at lists.llvm.org
Tue May 19 17:04:00 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 392222dd72657244f13d7f99cc6a497cc78eba2e
      https://github.com/llvm/llvm-project/commit/392222dd72657244f13d7f99cc6a497cc78eba2e
  Author: Kristóf Umann <dkszelethus at gmail.com>
  Date:   2020-05-20 (Wed, 20 May 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

  Log Message:
  -----------
  [analyzer][NFC][MallocChecker] Convert many parameters into CallEvent

Exactly what it says on the tin! This is clearly not the end of the road in this
direction, the parameters could be merged far more with the use of CallEvent or
a better value type in the CallDescriptionMap, but this was shockingly difficult
enough on its own. I expect that simplifying the file further will be far easier
moving forward.

The end goal is to research how we could create a more mature checker
interaction infrastructure for more complicated C++ modeling, and I'm pretty
sure that being able successfully split up our giants is the first step in this
direction.

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




More information about the All-commits mailing list