From dd3d0d69465628a8a2d6b2bb00007a4eb8b30868 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Can=20B=C3=B6l=C3=BCk?= <can.boluk89@gmail.com>
Date: Sun, 23 Aug 2020 11:12:37 +0200
Subject: [PATCH] Converting has_path into debug warning.

---
 VTIL-Architecture/trace/tracer.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/VTIL-Architecture/trace/tracer.cpp b/VTIL-Architecture/trace/tracer.cpp
index fd0ad77..6840d39 100644
--- a/VTIL-Architecture/trace/tracer.cpp
+++ b/VTIL-Architecture/trace/tracer.cpp
@@ -333,8 +333,13 @@ namespace vtil
 				{
 					// Skip if it does not reach target.
 					//
+#if _DEBUG
 					if ( !target->owner->has_path( it.block, target ) )
-						return enumerator::ocontinue;
+					{
+						warning( "Iterator %s has no path to %s but is still being considered in backpropagation.",
+							   it, target->begin() );
+					}
+#endif
 
 					// Increment path count.
 					//