Update go/ql/lib/semmle/go/frameworks/GoMicro.qll

GeekMasher · owen-mc · web-flow · commit 94e96cb7a8b5 · 2023-07-12T12:57:32.000+01:00
Co-authored-by: Owen Mansel-Chan &lt;62447351+owen-mc@users.noreply.github.com&gt;
diff --git a/go/ql/lib/semmle/go/frameworks/GoMicro.qll b/go/ql/lib/semmle/go/frameworks/GoMicro.qll
@@ -40,7 +40,7 @@ module GoMicro {
         te.getDeclaration().getLocation().getFile() instanceof ProtocGeneratedFile and
         exists(MethodDecl md |
           md.getName() = "ProtoMessage" and
-          this = md.getReceiverDecl().getTypeExpr().getAChild().(TypeName).getType()
+          this = md.getReceiverType().(PointerType).getBaseType()
         )
       )
     }

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ module GoMicro {`
`40`	`40`	`te.getDeclaration().getLocation().getFile() instanceof ProtocGeneratedFile and`
`41`	`41`	`exists(MethodDecl md \|`
`42`	`42`	`md.getName() = "ProtoMessage" and`
`43`		`- this = md.getReceiverDecl().getTypeExpr().getAChild().(TypeName).getType()`
	`43`	`+ this = md.getReceiverType().(PointerType).getBaseType()`
`44`	`44`	`)`
`45`	`45`	`)`
`46`	`46`	`}`