diff --git a/passes/memory/memory_share.cc b/passes/memory/memory_share.cc
index 3d241433..1845d56e 100644
--- a/passes/memory/memory_share.cc
+++ b/passes/memory/memory_share.cc
@@ -125,6 +125,9 @@ struct MemoryShareWorker
 			created_conditions++;
 		}
 
+		if (terms.size() == 0)
+			terms = State::S1;
+
 		if (terms.size() > 1)
 			terms = module->ReduceAnd(NEW_ID, terms);