Suppose a and b are both of type int, and b is nonzero. Consider the result of performing a/b in the follow
a
b
int
a/b
Just a comment. The current working draft for the C++ standard indeed corrects the "implementation-defined" issue and asks for truncation towards zero. Here is the committee's webpage, and here is the draft. The issue is at page 112.