[LLVMbugs] [Bug 17634] New: False Positive in "The result of the '<<' expression is undefined"

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=17634

            Bug ID: 17634
           Summary: False Positive in "The result of the '<<' expression
                    is undefined"
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: hiraditya at msn.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

For the following program I get the report 
Location:    line 9, column 11
Description:    The result of the '<<' expression is undefined

int foo(int a, int b) {
int x, s;
int z = 0;
while (b<=a) {
  s = 0;
  while ((b<<s) <= a) {
    s++;
  }
  x = 1 << (s-1); // Line 9
  z += x;
  }
return z;
}

-- 
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/20131021/a8235f81/attachment.html>