OSDN Git Service

[analyzer][NFC][MallocChecker] Convert many parameters into CallEvent
authorKristóf Umann <dkszelethus@gmail.com>
Tue, 25 Feb 2020 17:02:18 +0000 (18:02 +0100)
committerKirstóf Umann <dkszelethus@gmail.com>
Wed, 20 May 2020 00:03:31 +0000 (02:03 +0200)
commit392222dd72657244f13d7f99cc6a497cc78eba2e
treeddfd972cd574d5f00a45abdad9c213c2b7fa7b89
parentfe1a3a7e8c8be33968b9a768666489823dabab10
[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
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp