From e98ba9933146b0471a2391aa330594dbd86424c9 Mon Sep 17 00:00:00 2001
From: alex85k <alexei_kasatkin@mail.ru>
Date: Wed, 4 Jun 2014 16:02:18 +0600
Subject: [PATCH] add a safe-guard against bad input

do not write empty original_edge_data_vector to file
---
 Contractor/EdgeBasedGraphFactory.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Contractor/EdgeBasedGraphFactory.cpp b/Contractor/EdgeBasedGraphFactory.cpp
index 80da6c908..d3790d011 100644
--- a/Contractor/EdgeBasedGraphFactory.cpp
+++ b/Contractor/EdgeBasedGraphFactory.cpp
@@ -244,6 +244,9 @@ EdgeBasedGraphFactory::InsertEdgeBasedNode(NodeID u, NodeID v, EdgeID e1, bool b
 void EdgeBasedGraphFactory::FlushVectorToStream(
     std::ofstream &edge_data_file, std::vector<OriginalEdgeData> &original_edge_data_vector) const
 {
+    if (original_edge_data_vector.empty()) {
+        return;
+    }
     edge_data_file.write((char *)&(original_edge_data_vector[0]),
                          original_edge_data_vector.size() * sizeof(OriginalEdgeData));
     original_edge_data_vector.clear();