Update GoStructType.java

olivieriluca · web-flow · commit 30f81ade9484 · 2025-05-03T19:53:18.000+03:00
diff --git a/go-lisa/src/main/java/it/unive/golisa/cfg/type/composite/GoStructType.java b/go-lisa/src/main/java/it/unive/golisa/cfg/type/composite/GoStructType.java
@@ -208,7 +208,7 @@ public Expression defaultValue(CFG cfg, CodeLocation location) {
 			if (key.getStaticType() instanceof ReferenceType)
 				values[i++] = new GoUnknown(cfg, location);
 			else
-				values[i++] = key.getStaticType().defaultValue(cfg, location);
+				values[i++] = key.getStaticType().defaultValue(cfg, location) == null ? new GoUnknown(cfg, location) : key.getStaticType().defaultValue(cfg, location);
 
 		return new GoNonKeyedLiteral(cfg, location, values, this);
 	}

Original file line number	Diff line number	Diff line change
`@@ -208,7 +208,7 @@ public Expression defaultValue(CFG cfg, CodeLocation location) {`
`208`	`208`	`if (key.getStaticType() instanceof ReferenceType)`
`209`	`209`	`values[i++] = new GoUnknown(cfg, location);`
`210`	`210`	`else`
`211`		`- values[i++] = key.getStaticType().defaultValue(cfg, location);`
	`211`	`+ values[i++] = key.getStaticType().defaultValue(cfg, location) == null ? new GoUnknown(cfg, location) : key.getStaticType().defaultValue(cfg, location);`
`212`	`212`
`213`	`213`	`return new GoNonKeyedLiteral(cfg, location, values, this);`
`214`	`214`	`}`