Not sure I agree with these so keeping in a separate branch, some are clearly false positives and others silly language lawyer level stuff (runtime array indices) as well as correct reports (unreachable code), but really...
Do not merge this. Should probably also include the issue with zero sized structs from the grace branch.