Ob es dabei zu Überläufen bzw. Fehlberechnungen bei der Subtraktion, kommt wird vom Compiler abhängig sein.
Nein, es sei denn der Compiler ist fehlerhaft. Über-/Unterläufe bei Unsigned-Integer-Arithmetik sind im C Standard eindeutig definiert.