Comment by Expurple

Sure. But any nontrivial C codebase will have UB regardless of your intentions. This has been proven time and time again.