[PATCH] D20811: [analyzer] Model some library functions

[Devin Coughlin via cfe-commits]

dcoughlin added a comment.

In https://reviews.llvm.org/D20811#575521, @NoQ wrote:

> I thought to give it a pause to take a fresh look at how to arrange the macro-hints in the summaries.
>
> Maybe something like that:
>
>   CASE
>     ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)
>       RANGE('0', '9')
>       RANGE('A', 'Z')
>       RANGE('a', 'z')
>       RANGE(128, 255)
>     END_ARGUMENT_CONDITION
>     RETURN_VALUE_CONDITION(WithinRange)
>       SINGLE_VALUE(0)
>     END_RETURN_VALUE_CONDITION
>   END_CASE
>   


Looks great to me!


https://reviews.llvm.org/D20811