Update include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h

MMory · fabianbs96 · web-flow · commit b3e102a85c87 · 2021-12-24T01:03:55.000+01:00
Co-authored-by: fabianbs96 &lt;52407375+fabianbs96@users.noreply.github.com&gt;
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/LLVMZeroValue.h
@@ -68,7 +68,7 @@ class LLVMZeroValue : public llvm::GlobalVariable {
     return LLVMZeroValueInternalName;
   }
 
-  bool isLLVMZeroValue(const llvm::Value *V) const {
+  static bool isLLVMZeroValue(const llvm::Value *V) {
     if (V && V->hasName()) {
       // checks if V's name start with "zero_value"
       return V->getName().find(LLVMZeroValueInternalName) !=

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ class LLVMZeroValue : public llvm::GlobalVariable {`
`68`	`68`	`return LLVMZeroValueInternalName;`
`69`	`69`	`}`
`70`	`70`
`71`		`- bool isLLVMZeroValue(const llvm::Value *V) const {`
	`71`	`+ static bool isLLVMZeroValue(const llvm::Value *V) {`
`72`	`72`	`if (V && V->hasName()) {`
`73`	`73`	`// checks if V's name start with "zero_value"`
`74`	`74`	`return V->getName().find(LLVMZeroValueInternalName) !=`