[PATCH] D74973: [analyzer] StdLibraryFunctionsChecker refactor w/ inheritance

[Balázs Kéri via Phabricator via cfe-commits]

balazske added a comment.

Is really more kind of constraint needed than range constraint? A non-null can be represented as range constraint too. The compare constraint is used only for the return value for which a special `ReturnConstraint` can be used to handle the return value not like a normal argument (and then the `Ret` special value is not needed). Or are there sometimes relations between arguments of a function?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74973