github
diff --git a/‎ql/src/codeql_ruby/ast/internal/AST.qll‎
Lines changed: 6 additions & 3 deletions b/‎ql/src/codeql_ruby/ast/internal/AST.qll‎
Lines changed: 6 additions & 3 deletions
@@ -19,7 +19,7 @@ module MethodName {
 }
 
 private predicate mkSynthChild(SynthKind kind, AST::AstNode parent, int i) {
-  any(Synthesis s).child(parent, i, SynthChild(kind), _)
+  any(Synthesis s).child(parent, i, SynthChild(kind))
 }
 
 cached
@@ -483,7 +483,7 @@ private module Cached {
   predicate synthChild(AST::AstNode parent, int i, AST::AstNode child) {
     child = getSynthChild(parent, i)
     or
-    any(Synthesis s).child(parent, i, RealChild(child), _)
+    any(Synthesis s).child(parent, i, RealChild(child))
   }
 
   /**
@@ -505,8 +505,11 @@ private module Cached {
   Location getLocation(AST::AstNode n) {
     synthLocation(n, result)
     or
+    n.isSynthesized() and
     not synthLocation(n, _) and
-    result = toGeneratedInclSynth(n).getLocation()
+    result = getLocation(n.getParent())
+    or
+    result = toGenerated(n).getLocation()
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ module MethodName {`
`19`	`19`	`}`
`20`	`20`
`21`	`21`	`private predicate mkSynthChild(SynthKind kind, AST::AstNode parent, int i) {`
`22`		`- any(Synthesis s).child(parent, i, SynthChild(kind), _)`
	`22`	`+ any(Synthesis s).child(parent, i, SynthChild(kind))`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`cached`
`@@ -483,7 +483,7 @@ private module Cached {`
`483`	`483`	`predicate synthChild(AST::AstNode parent, int i, AST::AstNode child) {`
`484`	`484`	`child = getSynthChild(parent, i)`
`485`	`485`	`or`
`486`		`- any(Synthesis s).child(parent, i, RealChild(child), _)`
	`486`	`+ any(Synthesis s).child(parent, i, RealChild(child))`
`487`	`487`	`}`
`488`	`488`
`489`	`489`	`/**`
`@@ -505,8 +505,11 @@ private module Cached {`
`505`	`505`	`Location getLocation(AST::AstNode n) {`
`506`	`506`	`synthLocation(n, result)`
`507`	`507`	`or`
	`508`	`+ n.isSynthesized() and`
`508`	`509`	`not synthLocation(n, _) and`
`509`		`- result = toGeneratedInclSynth(n).getLocation()`
	`510`	`+ result = getLocation(n.getParent())`
	`511`	`+ or`
	`512`	`+ result = toGenerated(n).getLocation()`
`510`	`513`	`}`
`511`	`514`	`}`
`512`	`515`