[PATCH] D79431: [analyzer] StdLibraryFunctionsChecker: Add better diagnostics

Wed Sep 9 09:24:31 PDT 2020

martong added a comment.

In D79431#2215610 <https://reviews.llvm.org/D79431#2215610>, @Szelethus wrote:

> Ah, okay, silly me. Didn't catch that. Then the message is OK for now.
>
> edit: Describing //how// the violation happened might be a valuable for development purposes as well.

What if we'd add a `toString` method to the constraints and we'd add this to `Msg`? This way we'd know the contents of the constraint, thus we we'd know //how// the constraint is violated.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79431