secure-software-engineering
diff --git a/‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h‎
Lines changed: 2 additions & 7 deletions b/‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h‎
Lines changed: 2 additions & 7 deletions
@@ -68,13 +68,8 @@ class LLVMZeroValue : public llvm::GlobalVariable {
     return LLVMZeroValueInternalName;
   }
 
-  bool isLLVMZeroValue(const llvm::Value *V) const {
-    if (V && V->hasName()) {
-      // checks if V's name start with "zero_value"
-      return V->getName().find(LLVMZeroValueInternalName) !=
-             llvm::StringRef::npos;
-    }
-    return false;
+  static bool isLLVMZeroValue(const llvm::Value *V) {
+    return V == getInstance();
   }
 
   // Do not specify a destructor (at all)!
Original file line number	Diff line number	Diff line change
`@@ -68,13 +68,8 @@ class LLVMZeroValue : public llvm::GlobalVariable {`
`68`	`68`	`return LLVMZeroValueInternalName;`
`69`	`69`	`}`
`70`	`70`
`71`		`- bool isLLVMZeroValue(const llvm::Value *V) const {`
`72`		`- if (V && V->hasName()) {`
`73`		`- // checks if V's name start with "zero_value"`
`74`		`- return V->getName().find(LLVMZeroValueInternalName) !=`
`75`		`- llvm::StringRef::npos;`
`76`		`- }`
`77`		`- return false;`
	`71`	`+ static bool isLLVMZeroValue(const llvm::Value *V) {`
	`72`	`+ return V == getInstance();`
`78`	`73`	`}`
`79`	`74`
`80`	`75`	`// Do not specify a destructor (at all)!`