Update include/phasar/PhasarLLVM/Domain/ExtendedValue.h

MMory · github-actions[bot] · web-flow · commit d6928af891e4 · 2022-01-10T17:08:14.000+01:00
Co-authored-by: github-actions[bot] &lt;41898282+github-actions[bot]@users.noreply.github.com&gt;
diff --git a/include/phasar/PhasarLLVM/Domain/ExtendedValue.h b/include/phasar/PhasarLLVM/Domain/ExtendedValue.h
@@ -108,7 +108,8 @@ class ExtendedValue {
   [[nodiscard]] std::vector<const llvm::Value *> getMemLocationSeq() const {
     return MemLocationSeq;
   }
-  void setMemLocationSeq(const std::vector<const llvm::Value *> &MemLocationSeq) {
+  void
+  setMemLocationSeq(const std::vector<const llvm::Value *> &MemLocationSeq) {
     this->MemLocationSeq = MemLocationSeq;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -108,7 +108,8 @@ class ExtendedValue {`
`108`	`108`	`[[nodiscard]] std::vector<const llvm::Value *> getMemLocationSeq() const {`
`109`	`109`	`return MemLocationSeq;`
`110`	`110`	`}`
`111`		`- void setMemLocationSeq(const std::vector<const llvm::Value *> &MemLocationSeq) {`
	`111`	`+ void`
	`112`	`+ setMemLocationSeq(const std::vector<const llvm::Value *> &MemLocationSeq) {`
`112`	`113`	`this->MemLocationSeq = MemLocationSeq;`
`113`	`114`	`}`
`114`	`115`