diff --git a/poolalloc/lib/DSA/DSTest.cpp b/poolalloc/lib/DSA/DSTest.cpp
index 7d50f7d..20ca7f6 100644
--- a/poolalloc/lib/DSA/DSTest.cpp
+++ b/poolalloc/lib/DSA/DSTest.cpp
@@ -621,12 +621,11 @@
   const DSCallGraph callgraph = DS->getCallGraph();
   FuncSetTy analysisCallees = getCalleesFor(caller, callgraph);
 
-  if (std::includes(analysisCallees.begin(), analysisCallees.end(),
-                    notCallees.begin(), notCallees.end())) {
-    FuncSetTy invalid;
-    std::set_intersection(analysisCallees.begin(), analysisCallees.end(),
-                          notCallees.begin(), notCallees.end(),
-                          std::inserter(invalid, invalid.begin()));
+  FuncSetTy invalid;
+  std::set_intersection(analysisCallees.begin(), analysisCallees.end(),
+                        notCallees.begin(), notCallees.end(),
+                        std::inserter(invalid, invalid.begin()));
+  if (!invalid.empty()) {
     errs() << "ERROR: Callgraph check failed for: \t" << caller->getName() << "\n";
     errs() << "              Analysis says calls: \t";
     printCallees(analysisCallees, errs()); errs() << "\n";
diff --git a/poolalloc/test/dsa/callgraph/dstest_anynotall.ll b/poolalloc/test/dsa/callgraph/dstest_anynotall.ll
new file mode 100644
index 0000000..59ce260
--- /dev/null
+++ b/poolalloc/test/dsa/callgraph/dstest_anynotall.ll
@@ -0,0 +1,25 @@
+;RUN: dsaopt %s -dsa-td -analyze -check-callees=main,A
+;RUN: dsaopt %s -dsa-td -analyze -check-not-callees=main
+; Verify -check-not-callee behavior as error if any not all
+; specified callees are reported by the callgraph.
+; Test this using an empty set of callees.
+; ModuleID = 'calltargets.o'
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
+target triple = "x86_64-unknown-linux-gnu"
+
+define internal void @A() nounwind {
+entry:
+	ret void
+}
+
+define internal void @B() nounwind {
+entry:
+	ret void
+}
+
+define void @main() nounwind {
+entry:
+	call void @A() nounwind
+	ret void
+}
+