[LLVMbugs] [Bug 4545] New: ConstantRange::multiply isn't always conservative

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: ConstantRange::multiply isn't always conservative
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: daniel at zuster.org
                CC: nicholas at mxc.ca, llvmbugs at cs.uiuc.edu,
                    cristic at stanford.edu


ConstantRange::multiply sometimes computes a set which does not include some
possible values.

Here are some klee generated test cases:
ERROR: Found invalid values!
  A = 1 is in LHS = [1, 0), and
  B = 0 is in RHS = [0, 2), but
  A mul B = 0 is not in (LHS mul RHS) = [0, 0)
ERROR: Found invalid values!
  A = 1 is in LHS = [0, 2), and
  B = 1 is in RHS = [1, 0), but
  A mul B = 1 is not in (LHS mul RHS) = [0, 0)
ERROR: Found invalid values!
  A = 2 is in LHS = [1, 6), and
  B = 7 is in RHS = [6, 2), but
  A mul B = 14 is not in (LHS mul RHS) = [6, 6)
ERROR: Found invalid values!
  A = 1 is in LHS = [1, 6), and
  B = 7 is in RHS = [6, 2), but
  A mul B = 7 is not in (LHS mul RHS) = [6, 6)
ERROR: Found invalid values!
  A = 10 is in LHS = [6, 14), and
  B = 11 is in RHS = [11, 6), but
  A mul B = 14 is not in (LHS mul RHS) = [2, 2)
ERROR: Found invalid values!
  A = 2 is in LHS = [2, 8), and
  B = 4 is in RHS = [4, 2), but
  A mul B = 8 is not in (LHS mul RHS) = [8, 8)
ERROR: Found invalid values!
  A = 3 is in LHS = [1, 0), and
  B = 3 is in RHS = [2, 0), but
  A mul B = 9 is not in (LHS mul RHS) = [2, 2)


-- 
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.