Expose whether functions are variadic in their pp() output · github/codeql@4d3a140 · GitHub

github / codeql Public

• Notifications You must be signed in to change notification settings
• Fork 2.1k
• Star 10k

• Code
• Issues 997
• Pull requests 467
• Discussions
• Actions
• Projects
• Security and quality
• Insights

Additional navigation options

Commit 4d3a140

Browse filesBrowse the repository at this point in the historyBrowse files

smowton

committed

Expose whether functions are variadic in their pp() output

1 parent 4dbb15d commit 4d3a140
Copy full SHA for 4d3a140

1 file changed

+6-3Lines changed: 6 additions & 3 deletions

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

• go/ql/lib/semmle/go
  • Types.qll

Expand file treeCollapse file tree

Open diff view settings

Collapse file

‎go/ql/lib/semmle/go/Types.qll‎

Copy file name to clipboardExpand all lines: go/ql/lib/semmle/go/Types.qll

+6-3Lines changed: 6 additions & 3 deletions

Original file line number	Diff line number	Diff line change
@@ -921,9 +921,12 @@ class SignatureType extends @signaturetype, CompositeType {
921	921
922	922	language[monotonicAggregates]
923	923	override string pp() {
924		- result =
925		- "func(" + concat(int i, Type tp | tp = this.getParameterType(i) | tp.pp(), ", " order by i) +
926		- ") " + concat(int i, Type tp | tp = this.getResultType(i) | tp.pp(), ", " order by i)
	924	+ exists(string suffix | (if this.isVariadic() then suffix = "[variadic]" else suffix = "") |
	925	+ result =
	926	+ "func(" + concat(int i, Type tp | tp = this.getParameterType(i) | tp.pp(), ", " order by i) +
	927	+ ") " + concat(int i, Type tp | tp = this.getResultType(i) | tp.pp(), ", " order by i) +
	928	+ " " + suffix
	929	+ )
927	930	}
928	931
929	932	override string toString() { result = "signature type" }

0 commit comments

Comments

0 (0)