Tis-interpreter – find subtle bugs in programs written in standard C

Re:Tis-interpreter – find subtle bugs in programs written in... by imtringued on Saturday April 09, 2016 @09:34AM (#11461146)

I don't understand why the entire operation has to be undefined behaviour. Why not just say that the bitwidth may be truncated to an undefined number of bits?

[ Parent | on HN ]

Re:Tis-interpreter – find subtle bugs in programs written in... by __s on Sunday April 10, 2016 @12:26PM (#11466843)

On x86 the shift only looks at the leftmost 5 bits, so 1<<33 is 2. Whereas elsewhere 1<<33 may be 0. It wouldn't be strange if a platform decided to have 1<<33 throw an overflow fault. The key is that this choice should really be up to the platform, not the compiler

[ Parent | on HN ]