[LLVMbugs] [Bug 4545] New: ConstantRange::multiply isn't always conservative
bugzilla-daemon at cs.uiuc.edu
bugzilla-daemon at cs.uiuc.edu
Sun Jul 12 19:59:09 PDT 2009
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.
More information about the llvm-bugs
mailing list