------- Comment #1 from jay dot krell at cornell dot edu 2010-08-21 22:13 ------- clarification, where I assert what gives no warning, I was just testing with like:
-bash-3.00$ cat 1.c unsigned a = (unsigned)-1; unsigned b = (0u - 1u); I didn't yet test changing coverage.c. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45372