From 725e2cbc6f8883695e417cc1af645c103416c6c3 Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Sun, 20 Oct 2019 01:22:32 +0000
Subject: [PATCH] VM: Report memory leaks via the fault string mechanism.
---
divine/vm/ctx-debug.tpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/divine/vm/ctx-debug.tpp b/divine/vm/ctx-debug.tpp
index 59d2b068e..14686eeba 100644
--- a/divine/vm/ctx-debug.tpp
+++ b/divine/vm/ctx-debug.tpp
@@ -76,7 +76,7 @@ namespace divine::vm::ctx
if ( !flagged )
this->fault( _VM_F_Leak, this->frame(), this->pc() );
flagged = true;
- trace( "LEAK: " + brick::string::fmt( ptr ) );
+ this->_fault += "object " + brick::string::fmt( ptr ) + " leaked";
};
if ( this->debug_mode() )
--
GitLab