Add pragma to prevent accidental inlining.

Max Schaefer · Max Schaefer · commit 6d35c60acbbb · 2020-08-10T14:51:28.000+01:00
diff --git a/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql b/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql
@@ -33,6 +33,7 @@ Location getLocation(CommentGroup cg) {
   not exists(cg.getLocation()) and result = cg.getComment(0).getLocation()
 }
 
+pragma[noinline]
 predicate hasLocation(CommentGroup cg, File f, int startLine) {
   exists(Location loc | loc = getLocation(cg) |
     f = loc.getFile() and

Original file line number	Diff line number	Diff line change
`@@ -33,6 +33,7 @@ Location getLocation(CommentGroup cg) {`
`33`	`33`	`not exists(cg.getLocation()) and result = cg.getComment(0).getLocation()`
`34`	`34`	`}`
`35`	`35`
	`36`	`+pragma[noinline]`
`36`	`37`	`predicate hasLocation(CommentGroup cg, File f, int startLine) {`
`37`	`38`	`exists(Location loc \| loc = getLocation(cg) \|`
`38`	`39`	`f = loc.getFile() and`