[Bug debug/35188] New: Missing a warning: if-condition is inherently blocking the if-body

2008-02-13 Thread tuttle at sandbox dot cz
dot org ReportedBy: tuttle at sandbox dot cz http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35188

[Bug middle-end/35188] Missing a warning: if-condition is inherently blocking the if-body

2008-02-13 Thread tuttle at sandbox dot cz
--- Comment #2 from tuttle at sandbox dot cz 2008-02-13 21:41 --- (In reply to comment #1) > -Wunreachable-code should warn already. > -- Pinski I've tried -Wunreachable-code before submitting this enhancement request. gcc 4.1.3 in Ubuntu GG does not warn. -- http://

[Bug middle-end/35188] Missing a warning: inherently false expressions

2008-02-16 Thread tuttle at sandbox dot cz
--- Comment #5 from tuttle at sandbox dot cz 2008-02-16 14:12 --- I think we could generalize a bit: This in fact is not bound to if-statement or code reachability. Tried the following with snapshot gcc-4.3-20080215 -Wextra -Wall -Wunreachable-code. #include int main() { int var1

[Bug middle-end/35188] Missing a warning: inherently false expressions

2008-02-16 Thread tuttle at sandbox dot cz
--- Comment #7 from tuttle at sandbox dot cz 2008-02-16 18:09 --- That's great, even my older gcc 4.1.3 warns for every if-body with -O1 -Wunreachable code. Shame on me I did not came with -O1 myself, sorry. Anyway my first code line int var1 = (1 && 0); is not about