Improve handling or array types

joefarebrother · joefarebrother · commit 7462180dcda2 · 2021-08-10T16:52:38.000+01:00
diff --git a/java/ql/src/utils/Stubs.qll b/java/ql/src/utils/Stubs.qll
@@ -143,6 +143,8 @@ private class IndirectType extends GeneratedType {
     this.(NestedType).getEnclosingType() instanceof GeneratedType
     or
     exists(NestedType nt | nt instanceof GeneratedType and this = nt.getEnclosingType())
+    or
+    this = any(GeneratedType a).(Array).getComponentType()
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -143,6 +143,8 @@ private class IndirectType extends GeneratedType {`
`143`	`143`	`this.(NestedType).getEnclosingType() instanceof GeneratedType`
`144`	`144`	`or`
`145`	`145`	`exists(NestedType nt \| nt instanceof GeneratedType and this = nt.getEnclosingType())`
	`146`	`+ or`
	`147`	`+ this = any(GeneratedType a).(Array).getComponentType()`
`146`	`148`	`}`
`147`	`149`	`}`
`148`	`150`