unknown files

goblint · Apr 2, 2014 · 780da9a · 780da9a
1 parent 88855cb
commit 780da9a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/g2html/Loc.java b/src/g2html/Loc.java
@@ -48,7 +48,10 @@ static public void parseLocNode(XMLStreamReader parser, Result res, ResultStats
 			int eventType = readcc.getEventType();
 			// add function name to the loc xml-node
 			if (eventType==XMLStreamConstants.START_ELEMENT && readcc.getLocalName()=="loc"){
-				xmlOutStream.writeAttribute("fun",fileStats.getNodeFun(id));
+				String funName = fileStats.getNodeFun(id);
+				if (null==funName)
+					funName = "unknown";
+				xmlOutStream.writeAttribute("fun",funName);
 			// stop at the conclusion of the loc xml-node
 			} else if (eventType==XMLStreamConstants.END_ELEMENT && readcc.getLocalName()=="loc"){
 				break;