[LLVMbugs] [Bug 3584] New: Integer literal related vertex node contains arbitrary precision number with the wrong sign .

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Integer literal related vertex node contains arbitrary
                    precision number with the wrong sign.
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: AST
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: bolzoni at cs.unipr.it
                CC: llvmbugs at cs.uiuc.edu, bagnara at cs.unipr.it


Test case:
------->
extern void f(unsigned long long int a);
int g(void) {
  f(9223372036854775808lu);
}
-------<


being `node' a the pointer to the integer literal expression, the code:
------->
  if (node-> getValue(). isStrictlyPositive()) {
    std::cout << "it is positive!";
  }
  else {
    std::cout << "it is not positive!";
  }
-------<
gives `it is not positive' as output.

I tried making a test case using only llvm::APInt, but it seemed working fine.


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.