[PATCH] D76790: [analyzer] StdLibraryFunctionsChecker: fix bug with arg constraints

Fri Mar 27 05:56:34 PDT 2020

Szelethus added a comment.

The fix looks great!

In D76790#1941857 <https://reviews.llvm.org/D76790#1941857>, @martong wrote:

> I was thinking about the below test, but then I reverted back because I don't want to add "fake" summaries for testing purposes. Perhaps adding a new checker option could enable these "fake" summaries, @Szelethus what's your opinion?

The fake summary sounds great. You could hide it behind a debug checker, if we are to be that cautious.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76790