From acd34c988ce0a624c3292f41b3a479dfddc1852b Mon Sep 17 00:00:00 2001
From: Thomas Haas <tomy.haas@t-online.de>
Date: Wed, 23 Aug 2023 18:13:18 +0200
Subject: [PATCH] Added more debug logging to NaiveDevirtualisation

---
 .../dartagnan/program/processing/NaiveDevirtualisation.java    | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java
index d903b86d97..bf4ef499b2 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/NaiveDevirtualisation.java
@@ -71,6 +71,7 @@ private void findAndTransformAddressTakenFunctions(Function function, Map<Functi
             applyTransformerToEvent(e, functionCollector);
             for (Function func : functionCollector.collectedFunctions) {
                 if (!func2AddressMap.containsKey(func)) {
+                    logger.debug("Assigned address \"{}\" to function \"{}\"", nextAvailableFuncAddress, func);
                     func2AddressMap.put(func, expressions.makeValue(BigInteger.valueOf(nextAvailableFuncAddress++), ptrType));
                 }
             }
@@ -119,6 +120,8 @@ private void devirtualise(Function function, Map<Function, IValue> func2AddressM
                     throw new MalformedProgramException(error);
                 }
 
+                logger.trace("Devirtualizing call \"{}\" with possible targets: {}", call, possibleTargets);
+
                 final List<Label> caseLabels = new ArrayList<>(possibleTargets.size());
                 final List<CondJump> caseJumps = new ArrayList<>(possibleTargets.size());
                 final Expression funcPtr = call.getCallTarget();