X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=isAtomicCall.hpp;h=a12761964986dd76fa2483af5bf6a3f31d397eb0;hb=8d0019a44429db0a5eb65bab798e4300db5504b4;hp=11e5e68b77ee25a02d8a84ac4e39f7280d220b2f;hpb=6d0c694ec816c3422efa4d5f973eda3ae4ad6933;p=c11llvm.git

diff --git a/isAtomicCall.hpp b/isAtomicCall.hpp
index 11e5e68..a127619 100644
--- a/isAtomicCall.hpp
+++ b/isAtomicCall.hpp
@@ -6,6 +6,9 @@ bool isAtomicCall(Instruction *I)
 {
 	if ( auto *CI = dyn_cast<CallInst>(I) ) {
 		Function *fun = CI->getCalledFunction();
+		if (fun == NULL)
+			return false;
+
 		StringRef funName = fun->getName();
 
 		if ( (CI->isTailCall() && funName.contains("atomic_")) ||