If you ignored dead code produced by macros and limited the check to function-scope, I think you'd mostly eliminate false positives.