@User: It does catch true positives. It will just flag a lot of stuff on the edges of the design (but I have not seen that on my computer; it apparently depends on the compiler's order of precedence on integer size conversion).