Category "sal"

How to annotate functions to aid code analysis

Consider the following functions: constexpr bool IsNull(const int* arg) { return arg == nullptr; } void Test() { int x{ 42 }; int* p = &x; /