[PATCH] D67019: [analyzer] pr43179: CallDescription: Check number of parameters as well as number of arguments.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

For the actual variadic functions i'm thinking of something like `{CDF_Variadic, "fprintf", 2}` which will match all calls to variadic functions named "fprintf" that have //exactly// two non-variadic parameters and //at least// two arguments on the call site [which occupy those non-variadic parameters]. I'm not implementing it yet because we don't need it yet.

I'm not sure if that's the best syntax. I didn't think too deeply about it because i'm waiting for more examples to generalize upon.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67019/new/

https://reviews.llvm.org/D67019