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: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected],
[email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
