[LLVMbugs] [Bug 23903] New: GCC's -Wstrict-overflow not implemented

[bugzilla-daemon at llvm.org]

https://llvm.org/bugs/show_bug.cgi?id=23903

            Bug ID: 23903
           Summary: GCC's -Wstrict-overflow not implemented
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Frontend
          Assignee: unassignedclangbugs at nondot.org
          Reporter: chengniansun at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

$: cat t.c
int main(int argc, char **argv) {
  if (argc + 3 < argc)
    return 0;
  else 
    return 1;
}
$: clang-trunk -Weverything -Wno-unused-parameter -O3 t.c
$: gcc-trunk -Wall -O3 t.c
t.c: In function ¡®main¡¯:
t.c:2:3: warning: assuming signed overflow does not occur when assuming that (X
+ c) < X is always false [-Wstrict-overflow]
   if (argc + 3 < argc)
   ^
$: 
$:

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150620/f3b35168/attachment.html>