gcc: phép chia cho không

Question

Tôi nhận phép chia cho không lỗi ở dòng này:

if (tim2_st_ovf < T2_PREK_250) 

Những giá trị này là định nghĩa như thế này:

volatile uint8_t tim2_st_ovf = 0; 

#define T2_PREK_250 ((250 * (F_CPU/1000))/((UINT8_MAX + 1) * 1024)) 
#define F_CPU 16000000UL 

Và UINT8_MAX tương đương với 255.

Tại sao tôi nhận được thông báo này? Tôi tính toán nó nhiều lần trên máy tính và nhận được ~ 15. Ngoài ra, nếu tôi thay đổi 1024 đến 1023 nó không hiển thị bất kỳ lỗi nào.

Answer 1

((UINT8_MAX + 1) * 1024) có thể trở thành 0, bởi vì UINT8_MAX + 1 thường là 256 và 256 * 1024 là 0 modulo 2 . Vì vậy, nếu sizeof(int) == 2 trên achitecture của bạn, sau đó bạn sẽ có được 0.

Trên kiến ​​trúc máy tính để bàn hiện đại điển hình với GCC, sizeof(int) == 4, và bạn sẽ không nhận được phân chia bởi 0.

Để khắc phục nó, thay thế 1024 với 1024UL . Điều đó sẽ hoạt động, bởi vì unsigned long được đảm bảo để lên tới 4294967295. (Cảm ơn Pascal Cuoq đã giải thích nó.)