Useful for function pointers, as for those no compiler warning fires.
rdar://41067230
Paths
| Differential D48110
[analyzer] [WIP] Checker for detecting that the function was called with more function arguments than it could take Needs RevisionPublic Authored by george.karpenkov on Jun 12 2018, 5:47 PM.
Details
Diff Detail Event TimelineHerald added subscribers: mikhail.ramalho, a.sidorin, szepet and 4 others. · View Herald TranscriptJun 12 2018, 5:47 PM Comment Actions This seems like a useful checker!
Comment Actions Apparently CallAndMessageChecker already has a similar check (see its checkPreCall()). Maybe merge them? This revision now requires changes to proceed.Oct 5 2018, 3:44 PM
Revision Contents
Diff 151076 clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/ArgumentSizeChecker.cpp
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
clang/test/Analysis/diagnostics/no-store-func-path-notes.cpp
clang/test/Analysis/inline.c
|
I guess it's mostly Count or Number rather than Size of the arguments.