close #215 -- fixed NPE in backtranslation (if there is no C function…

…, use the boogie name instead of crashing)
ultimate-pa · Aug 4, 2017 · 81ddac3 · 81ddac3
1 parent ca25d16
commit 81ddac3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...ormatik/ultimate/plugins/generator/cacsl2boogietranslator/CACSL2BoogieBacktranslator.java b/...ormatik/ultimate/plugins/generator/cacsl2boogietranslator/CACSL2BoogieBacktranslator.java
@@ -1539,7 +1539,9 @@ private static String getRealName(final IdentifierExpression originalExpression,
 			final ILocation loc = originalExpression.getLoc();
 			if (loc instanceof CLocation) {
 				final CLocation cloc = (CLocation) loc;
-				return cloc.getNode().getRawSignature();
+				if (cloc.getNode() != null) {
+					return cloc.getNode().getRawSignature();
+				}
 			}
 			return name;
 		}