Since C++11, static_assert can be used to express conditions which have to be met at compile time and PC-lint claims to support this since version 9.00k.

But even with 9.00L with co-msc110, env-vc10 and au-misra-cpp, the following code will trigger a 948:

static const sizet SOMESIZE = 42U;
staticassert( SOMESIZE < 100U, "..." ); // Triggers Note 948: Operator '<' always evaluates to True

This should not be reported, as this is exactly the point of static_assert to always evaluate to true!