[PATCH] D73898: [analyzer] StdLibraryFunctionsChecker: Add argument constraints

Mon Feb 10 05:34:36 PST 2020

martong planned changes to this revision.
martong added a subscriber: steakhal.
martong added a comment.

Based on our verbal discussion with @Szelethus and @steakhal and based on the mailing archives <http://lists.llvm.org/pipermail/cfe-dev/2019-August/063070.html>, I am going to do the following changes:

- Add a new checker that is implemented in the `StdLibraryFunctionsChecker` class.
- This new checker if switched on is responsible for emitting the warning. Even if this is turned off, the sink node is generated if the argument violates the given condition.
- This means, the new checker has the sole responsibility of emitting the warning, but nothing more.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D73898