C99 standardında, imzalanmış tamsayı taşması tanımlanmamış davranış olduğunu söyleyebilir mi?

Question

C99 standardında, imzalanmış tamsayı taşması tanımlanmamış bir davranış olduğunu söyleyebilir mi?

ben işaretsiz tamsayı taşması bölümünde 6.2.5 yılında (Why is unsigned integer overflow defined behavior but signed integer overflow isn't? bakınız) iyi tanımlanmış olma konusunda yorumunu bakın:

imzasız işlenen içeren bir hesaplama yapabilirsiniz asla taşması, çünkü tarafından temsil edilemez bir sonuç Ortaya çıkan işaretsiz tamsayı türü, sonuç türü tarafından temsil edilen olabilen en büyük değerden daha büyük bir sayı olan indirgenmiş modüldür.

ama tanımsız davranışlar üzerinde Ek J arıyorum ve sadece listede bu benzer öğeleri görmek:

bir ifade imzalanan terfi tip sola kaydırıldığı sahip ve değeri ya ifadesi negatifse veya kayması sonucu terfi tip sunulabilen olmayacaktır olacağını

ve

bir tamsayıdır aritmetik veya dönüşüm fonksiyonun sonucunu

değeri I yok aritmetik kendisi

Answer 1

tamsayı olup,

(bu "bir tamsayıdır aritmetik fonksiyonu" anlamına gelir not temsil olamaz istisnai bir durum bir ifadenin değerlendirilmesi (sonuç matematiksel olarak tanımlanmış olup olmadığını yani, esnasında meydana gelirse hayır

: C99 bir kopyası, ama C11 standardında bu metin Bölüm 6.5, paragraf 5 belirir t türüne göre temsil edilen değerler aralığında), davranış tanımsızdır. Herhangi bir taşma için bir yakalama gibi görünen; imzasız tamsayılarla ilgili metin, daha sonra 6.5 ¶ 5'in üzerinde özel bir durum olur.