Warning C28020

The expression 'expr' is not true at this call.

This warning is reported when the _Satisfies_ expression listed isn't true. Frequently, the warning indicates an incorrect parameter.

If this warning occurs on a function declaration, the annotations indicate an impossible condition.

Example

The following example generates C28020:

#include <sal.h>

int func(_In_range_(0, 10) int value)
{
    return value;
}

int main()
{
    func(11);   // C28020
}