From 2d2e477ddc5da7d3353554a5ddd13967b1add672 Mon Sep 17 00:00:00 2001
From: Horst Schirmeier <horst.schirmeier@tu-dortmund.de>
Date: Tue, 6 Jan 2015 15:14:55 +0100
Subject: [PATCH] visualfail: fix output formatting

This change fixes occasional redundant newlines in interspersed
ASM/highlevel code.

Change-Id: Ibe3a93d67bc017ce44c832c4948f3817d8f7e695
---
 tools/analysis/VisualFAIL/core.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tools/analysis/VisualFAIL/core.php b/tools/analysis/VisualFAIL/core.php
index f0aee3ce..1280308a 100644
--- a/tools/analysis/VisualFAIL/core.php
+++ b/tools/analysis/VisualFAIL/core.php
@@ -264,7 +264,9 @@ function getHighlevelCode()
 				$InstrMappingAbfrage = "SELECT instr_address, disassemble FROM objdump WHERE variant_id = '" . $_GET['variant_id']. "' AND instr_address >= '" . $ranges[0] . "' AND instr_address < '" . $ranges[1] . "' ORDER BY instr_address;";
 				$mappingErgebnis = mysql_query($InstrMappingAbfrage);
 				//Leerzeile
-				$mapping[$lineNumber] [] = '<br>';
+				if (mysql_num_rows($mappingErgebnis) > 0) {
+					$mapping[$lineNumber] [] = '<br>';
+				}
 				while($row = mysql_fetch_object($mappingErgebnis)) {
 
 					if (array_key_exists($row->instr_address,$fehlerdaten['Daten'])) {
@@ -283,7 +285,7 @@ function getHighlevelCode()
 				}
 
 				//Leerzeile
-				$mapping[$lineNumber] [] = '<br>';
+				//$mapping[$lineNumber] [] = '<br>';
 		}
 		foreach ($resulttypes as $value) {
 			$maxFehlerMapping[$lineNumber][$value] = $maxFehler[$value];