e.g. in a switch statement the default case might be never wanted (i.e. invalid) and so marking that would give a false-positive. So a new class of marks would be useful
