From 2a51225f1dbf80929dac633cedb5ab8a72f649fe Mon Sep 17 00:00:00 2001 From: GitHub Actions Build Date: Mon, 27 Jan 2025 06:14:09 +0000 Subject: [PATCH] SVF code formatter --- svf/include/DDA/DDAPass.h | 3 ++- svf/include/MemoryModel/PointerAnalysisImpl.h | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/svf/include/DDA/DDAPass.h b/svf/include/DDA/DDAPass.h index 47d80cb64..a97cb68dd 100644 --- a/svf/include/DDA/DDAPass.h +++ b/svf/include/DDA/DDAPass.h @@ -57,7 +57,8 @@ class DDAPass ~DDAPass(); /// Interface expose to users of our pointer analysis, given Value infos - virtual AliasResult alias(const SVFVar* V1, const SVFVar* V2) { + virtual AliasResult alias(const SVFVar* V1, const SVFVar* V2) + { return alias(V1->getId(), V2->getId()); } diff --git a/svf/include/MemoryModel/PointerAnalysisImpl.h b/svf/include/MemoryModel/PointerAnalysisImpl.h index 8cbf3ae51..6722554bb 100644 --- a/svf/include/MemoryModel/PointerAnalysisImpl.h +++ b/svf/include/MemoryModel/PointerAnalysisImpl.h @@ -216,7 +216,8 @@ class BVDataPTAImpl : public PointerAnalysis public: /// Interface expose to users of our pointer analysis, given Value infos AliasResult alias(const SVFVar* V1, - const SVFVar* V2) override { + const SVFVar* V2) override + { return alias(V1->getId(), V2->getId()); }