Update pretty printing predicates

owen-mc · owen-mc · commit 732b14ee3800 · 2023-06-20T11:04:03.000+01:00
diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -106,6 +106,8 @@ private string getContentSpecific(Content c) {
   c instanceof MapKeyContent and result = "MapKey"
   or
   c instanceof MapValueContent and result = "MapValue"
+  or
+  c instanceof PointerContent and result = "Dereference"
 }
 
 /** Gets the textual representation of the content in the format used for flow summaries. */

Original file line number	Diff line number	Diff line change
`@@ -106,6 +106,8 @@ private string getContentSpecific(Content c) {`
`106`	`106`	`c instanceof MapKeyContent and result = "MapKey"`
`107`	`107`	`or`
`108`	`108`	`c instanceof MapValueContent and result = "MapValue"`
	`109`	`+ or`
	`110`	`+ c instanceof PointerContent and result = "Dereference"`
`109`	`111`	`}`
`110`	`112`
`111`	`113`	`/** Gets the textual representation of the content in the format used for flow summaries. */`