I don't think any weird edge case is a problem when targeting C. You just do not produce such cases when emitting the code.