Fix compilation warnings

Dave Bartolomeo · Dave Bartolomeo · commit 99bdef12687f · 2024-12-18T15:56:49.000-05:00
diff --git a/actions/ql/lib/codeql/actions/controlflow/internal/Cfg.qll b/actions/ql/lib/codeql/actions/controlflow/internal/Cfg.qll
@@ -97,9 +97,9 @@ private module Implementation implements CfgShared::InputSig<Location> {
   // Not using CFG splitting, so the following are just dummy types.
   private newtype TUnit = Unit()
 
-  class SplitKindBase = TUnit;
+  additional class SplitKindBase = TUnit;
 
-  class Split extends TUnit {
+  additional class Split extends TUnit {
     abstract string toString();
   }
 
@@ -115,7 +115,7 @@ private module Implementation implements CfgShared::InputSig<Location> {
     )
   }
 
-  int maxSplits() { result = 0 }
+  additional int maxSplits() { result = 0 }
 
   predicate scopeFirst(CfgScope scope, AstNode e) {
     first(scope.(Workflow), e) or

Original file line number	Diff line number	Diff line change
`@@ -97,9 +97,9 @@ private module Implementation implements CfgShared::InputSig<Location> {`
`97`	`97`	`// Not using CFG splitting, so the following are just dummy types.`
`98`	`98`	`private newtype TUnit = Unit()`
`99`	`99`
`100`		`- class SplitKindBase = TUnit;`
	`100`	`+ additional class SplitKindBase = TUnit;`
`101`	`101`
`102`		`- class Split extends TUnit {`
	`102`	`+ additional class Split extends TUnit {`
`103`	`103`	`abstract string toString();`
`104`	`104`	`}`
`105`	`105`
`@@ -115,7 +115,7 @@ private module Implementation implements CfgShared::InputSig<Location> {`
`115`	`115`	`)`
`116`	`116`	`}`
`117`	`117`
`118`		`- int maxSplits() { result = 0 }`
	`118`	`+ additional int maxSplits() { result = 0 }`
`119`	`119`
`120`	`120`	`predicate scopeFirst(CfgScope scope, AstNode e) {`
`121`	`121`	`first(scope.(Workflow), e) or`