"a+b" for signed integer types potentially invokes undefined behavior (overflow). It's a horrendous situation.