Support insertvalue with null operand

%.pmcpy.fca.0.4.0.insert.i = insertvalue %struct.semaphore %.pmcpy.fca.0.3.insert.i, %struct.lock_class_key* null, 0, 4, 0
seahorn · Nov 7, 2019 · 63f713d · 63f713d
1 parent 86d083c
commit 63f713d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/DsaLocal.cc b/src/DsaLocal.cc
@@ -765,7 +765,7 @@ void IntraBlockBuilder::visitInsertValueInst(InsertValueInst &I) {
   out.setModified();
 
   // -- update link
-  if (!isSkip(v)) {
+  if (!isSkip(v) && !isNullConstant(v)) {
     // TODO: follow valueCell ptrs.
     Cell vCell = valueCell(v);
     assert(!vCell.isNull());