Fix struct deepUnaliasedType predicate

smowton · smowton · commit b732eed726ea · 2024-09-01T17:10:15.000+01:00
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -1190,7 +1190,9 @@ class SignatureType extends @signaturetype, CompositeType {
       (
         nParams <= 5
         or
-        this.hasDeepUnaliasedParameterTypesUpTo(result, nParams - 1) and
+        this.hasDeepUnaliasedParameterTypesUpTo(result, nParams - 1)
+      ) and
+      (
         nResults <= 3
         or
         this.hasDeepUnaliasedResultTypesUpTo(result, nResults - 1)
