diff options
| author | George Burgess IV <george.burgess.iv@gmail.com> | 2018-03-29 03:12:03 +0000 |
|---|---|---|
| committer | George Burgess IV <george.burgess.iv@gmail.com> | 2018-03-29 03:12:03 +0000 |
| commit | af0b06f4fd813191e123716b08458edfdf073a1f (patch) | |
| tree | c5d95c250d7f4e1f62f026acf3a86b776ef2471b /llvm/lib/Analysis/MemorySSA.cpp | |
| parent | 10f4c969a4a7533d78eef930102e2917cb3d7316 (diff) | |
| download | bcm5719-llvm-af0b06f4fd813191e123716b08458edfdf073a1f.tar.gz bcm5719-llvm-af0b06f4fd813191e123716b08458edfdf073a1f.zip | |
[MemorySSA] Turn an assert into a condition
Eli pointed out that variadic functions are totally a thing, so this
assert is incorrect.
No test-case is provided, since the only way this assert fires is if a
specific DenseMap falls back to doing `isEqual` checks, and that seems
fairly brittle (and requires a pyramid of growing
`call void (i8, ...) @varargs(i8 0)`).
llvm-svn: 328755
Diffstat (limited to 'llvm/lib/Analysis/MemorySSA.cpp')
| -rw-r--r-- | llvm/lib/Analysis/MemorySSA.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/MemorySSA.cpp b/llvm/lib/Analysis/MemorySSA.cpp index e67d95782ae..c8fef6a1f16 100644 --- a/llvm/lib/Analysis/MemorySSA.cpp +++ b/llvm/lib/Analysis/MemorySSA.cpp @@ -159,8 +159,8 @@ public: if (CS.getCalledValue() != Other.CS.getCalledValue()) return false; - assert(CS.arg_size() == Other.CS.arg_size()); - return std::equal(CS.arg_begin(), CS.arg_end(), Other.CS.arg_begin()); + return CS.arg_size() == Other.CS.arg_size() && + std::equal(CS.arg_begin(), CS.arg_end(), Other.CS.arg_begin()); } private: |
