Ambiguity in Coding Guidelines (Don't divide by 0/integer)

[mhennsldt]

These two rules:
https://coding-guidelines.arewesafetycriticalyet.org/coding-guidelines/expressions/gui_7y0GAMmtMhch.html
https://coding-guidelines.arewesafetycriticalyet.org/coding-guidelines/expressions/gui_kMbiWbn8Z6g5.html

seem very similar, with only subtle differences. The main distinctions are in their decidability and category.
Since this question arose within the consortium (03.06.2026) - regarding the difference between these rules - it might be helpful to add some clarification. Perhaps a "Related Rules" section could be included to explain the differences more clearly.

[PLeVasseur]

Thanks @mhennsldt for opening this. I agree.

Let's discuss in this week's coding guidelines subcommittee meeting.