Java test gen: make char zero '\0'

Sauyon Lee · Sauyon Lee · commit 73d6177477a9 · 2021-08-26T08:02:20.000-07:00
diff --git a/java/ql/src/utils/FlowTestCaseUtils.qll b/java/ql/src/utils/FlowTestCaseUtils.qll
@@ -51,7 +51,7 @@ string getZero(PrimitiveType t) {
   or
   t.hasName("byte") and result = "(byte)0"
   or
-  t.hasName("char") and result = "'a'"
+  t.hasName("char") and result = "'\\0'"
   or
   t.hasName("long") and result = "0L"
 }

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ string getZero(PrimitiveType t) {`
`51`	`51`	`or`
`52`	`52`	`t.hasName("byte") and result = "(byte)0"`
`53`	`53`	`or`
`54`		`- t.hasName("char") and result = "'a'"`
	`54`	`+ t.hasName("char") and result = "'\\0'"`
`55`	`55`	`or`
`56`	`56`	`t.hasName("long") and result = "0L"`
`57`	`57`	`}`