[Bug c/31153] -Wconversion does not catch return value mismatch

2007-03-12 Thread manu at gcc dot gnu dot org
--- Comment #2 from manu at gcc dot gnu dot org 2007-03-12 22:25 --- Wconversion is implemented in the front-end and there is no data-flow solving on front-ends, so basically it is impossible to know the value of i. In addition, up to GCC 4.3, Wconversion was not meant to warn about sig

[Bug c/31153] -Wconversion does not catch return value mismatch

2007-03-12 Thread craig dot lawson at centrify dot com
--- Comment #1 from craig dot lawson at centrify dot com 2007-03-12 18:53 --- Test program (Create a New Attachment is not working for me today): const int i = -1; unsigned int slip_one_by() { return i; } unsigned int caught_me() { return -1; } $ gcc -c unsigned_return.c -W