fix memory bug

pdschubert · pdschubert · commit c52293e96e7d · 2021-10-08T14:33:59.000+02:00
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.cpp
@@ -43,8 +43,8 @@ auto AbstractMemoryLocationFactoryBase::Allocator::Block::create(
 }
 
 void AbstractMemoryLocationFactoryBase::Allocator::Block::destroy(Block *Blck) {
-  ::operator delete (Blck,
-                     std::align_val_t{alignof(AbstractMemoryLocationImpl)});
+  ::operator delete[](Blck,
+                      std::align_val_t{alignof(AbstractMemoryLocationImpl)});
 }
 
 AbstractMemoryLocationFactoryBase::Allocator::Allocator(

Original file line number	Diff line number	Diff line change
`@@ -43,8 +43,8 @@ auto AbstractMemoryLocationFactoryBase::Allocator::Block::create(`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`void AbstractMemoryLocationFactoryBase::Allocator::Block::destroy(Block *Blck) {`
`46`		`- ::operator delete (Blck,`
`47`		`- std::align_val_t{alignof(AbstractMemoryLocationImpl)});`
	`46`	`+ ::operator delete[](Blck,`
	`47`	`+ std::align_val_t{alignof(AbstractMemoryLocationImpl)});`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	`AbstractMemoryLocationFactoryBase::Allocator::Allocator(`