From 54322f532f5274619ed84edc7ec51ef663fe48cd Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sat, 12 Jan 2019 15:45:53 +0000
Subject: [PATCH] tools: Fix a leak in divcc stemming from BuildCompilation's
 return value.

---
 tools/divcc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/divcc.cpp b/tools/divcc.cpp
index 497357cd8..e8d1363ad 100644
--- a/tools/divcc.cpp
+++ b/tools/divcc.cpp
@@ -331,7 +331,7 @@ int main( int argc, char **argv )
             if ( po.hasVersion )
                 std::cout << "divine version: " << ui::version() << "\n";
             cc::ClangDriver drv;
-            drv.BuildCompilation( { "divcc", po.hasHelp? "--help" : "--version" } );
+            delete drv.BuildCompilation( { "divcc", po.hasHelp ? "--help" : "--version" } );
             return 0;
         }
 
-- 
GitLab