diff --git a/misc/codegen/templates/ql_class.mustache b/misc/codegen/templates/ql_class.mustache index d0045d0598d..9f72caef392 100644 --- a/misc/codegen/templates/ql_class.mustache +++ b/misc/codegen/templates/ql_class.mustache @@ -84,7 +84,8 @@ module Generated { {{/has_description}} */ final {{type}} {{getter}}({{#is_indexed}}int index{{/is_indexed}}) { - result = this.get{{#is_unordered}}An{{/is_unordered}}Immediate{{singular}}({{#is_indexed}}index{{/is_indexed}}).resolve() + exists({{type}} immediate | immediate = this.get{{#is_unordered}}An{{/is_unordered}}Immediate{{singular}}({{#is_indexed}}index{{/is_indexed}}) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve()) } {{/type_is_class}} diff --git a/misc/codegen/templates/ql_parent.mustache b/misc/codegen/templates/ql_parent.mustache index 6777d366ddf..2c8d7dfc258 100644 --- a/misc/codegen/templates/ql_parent.mustache +++ b/misc/codegen/templates/ql_parent.mustache @@ -80,7 +80,7 @@ result = unique(Element x | e = Impl::getImmediateChild(x, _, _) | x) * Gets the immediate child indexed at `index`. Indexes are not guaranteed to be contiguous, but are guaranteed to be distinct. `accessor` is bound the member predicate call resulting in the given child. */ Element getImmediateChildAndAccessor(Element e, int index, string accessor) { -exists(string partialAccessor | result = Impl::getImmediateChild(e, index, partialAccessor) and accessor = "getImmediate" + partialAccessor) +exists(string partialAccessor | result = Impl::getImmediateChild(e, index, partialAccessor) and accessor = "get" + partialAccessor) } /** diff --git a/swift/ql/.generated.list b/swift/ql/.generated.list index 2a56c1ba2ae..a28e6ba533b 100644 --- a/swift/ql/.generated.list +++ b/swift/ql/.generated.list @@ -367,9 +367,9 @@ lib/codeql/swift/elements/type/WeakStorageType.qll 7c07739cfc1459f068f24fef74838 lib/codeql/swift/elements/type/WeakStorageTypeConstructor.qll d88b031ef44d6de14b3ddcff2eb47b53dbd11550c37250ff2edb42e5d21ec3e9 26d855c33492cf7a118e439f7baeed0e5425cfaf058b1dcc007eca7ed765c897 lib/codeql/swift/elements.qll 3df0060edd2b2030f4e4d7d5518afe0073d798474d9b1d6185d833bec63ca8bd 3df0060edd2b2030f4e4d7d5518afe0073d798474d9b1d6185d833bec63ca8bd lib/codeql/swift/generated/AstNode.qll 02ca56d82801f942ae6265c6079d92ccafdf6b532f6bcebd98a04029ddf696e4 6216fda240e45bd4302fa0cf0f08f5f945418b144659264cdda84622b0420aa2 -lib/codeql/swift/generated/AvailabilityInfo.qll a5c04628de722f92d1e4bb94c7d04281e070fc82a196f85775a149b27df0fb71 c5c992218ba4e44ee37397738ab53f206140fac75284e0544dd0d5dd5dcdf453 +lib/codeql/swift/generated/AvailabilityInfo.qll c648a66cf45414c85cf9cc69aa05b765a49d0c18cd9c101c34f99a9adc38a1ee 54ba7b07b4177d35e85d19363aa7adcda29cda185a5818e5fcb7c678c093e0ba lib/codeql/swift/generated/AvailabilitySpec.qll fb1255f91bb5e41ad4e9c675a2efbc50d0fb366ea2de68ab7eebd177b0795309 144e0c2e7d6c62ecee43325f7f26dcf437881edf0b75cc1bc898c6c4b61fdeaf -lib/codeql/swift/generated/Callable.qll 32d631f6c882cf8dc7f95b1e748c2b8ed80ad0ba04ea940c801aec14411dc754 b30e46ca1b5a9fd7b421d9c9dd567aa1788f3ac25af5ccc2d28b201881cf82e1 +lib/codeql/swift/generated/Callable.qll 9dcf09a2f227dd6f569f007a07fb368d6b928ffd002535bb97118361430d948c 5c203f5f6b4f8b6748e61e09bb46c55442a2fb36f2d1fa950e6f81bdda562709 lib/codeql/swift/generated/Comment.qll f58b49f6e68c21f87c51e2ff84c8a64b09286d733e86f70d67d3a98fe6260bd6 975bbb599a2a7adc35179f6ae06d9cbc56ea8a03b972ef2ee87604834bc6deb1 lib/codeql/swift/generated/DbFile.qll a49b2a2cb2788cb49c861ebcd458b8daead7b15adb19c3a9f4db3bf39a0051fc a49b2a2cb2788cb49c861ebcd458b8daead7b15adb19c3a9f4db3bf39a0051fc lib/codeql/swift/generated/DbLocation.qll b9baea963d9fa82068986512c0649d1050897654eee3df51dba17cf6b1170873 b9baea963d9fa82068986512c0649d1050897654eee3df51dba17cf6b1170873 @@ -377,11 +377,11 @@ lib/codeql/swift/generated/Diagnostics.qll d2ee2db55e932dcaee95fcc1164a51ffbe1a7 lib/codeql/swift/generated/Element.qll 81a01c1965cf8154596c753b20536ef8630b30567d8c077660ab2d11143f060b 74f5c76db5ec82a9c1675ec0282acd44f1a86ef447d1961c47aea3eed50f79cb lib/codeql/swift/generated/ErrorElement.qll 4b032abe8ffb71376a29c63e470a52943ace2527bf7b433c97a8bf716f9ad102 4f2b1be162a5c275e3264dbc51bf98bce8846d251be8490a0d4b16cbc85f630f lib/codeql/swift/generated/File.qll f88c485883dd9b2b4a366080e098372912e03fb3177e5cae58aa4449c2b03399 0333c49e3a11c48e6146a7f492ee31ac022d80150fc3f8bfafc3c8f94d66ff76 -lib/codeql/swift/generated/KeyPathComponent.qll ca26ccb81276f6191a94af38757b218a808bda74375e6971287269474b615882 3cad039517c28afb9e250ec91c8962e3bbcacf63ad081c6152a061409a52b626 -lib/codeql/swift/generated/Locatable.qll 6cb2f23f21283ae667321d88a955a4d18304bdbbd3f2f9e86aa3ed7a080d7114 731cd57bcb3308c66bbaf37d78c553712dd4b9ccc333a47661336f4a7b0fc845 -lib/codeql/swift/generated/Location.qll e0ea9fd485de1788e2a0d658654735dd8561e815ebfc18eda6eff10af0d59bac 8410bcb1867c531db336d3d1e2e3a2926545170070e56997d8f77ac2face69a0 +lib/codeql/swift/generated/KeyPathComponent.qll 00b1e586b8532f0193b3f61111e70d4e595f3d45c7a25ff68114be1051882491 c556e85b21fc5a5aae12fb5599a96442431ef44ae92350eb7da9efe6a22efd53 +lib/codeql/swift/generated/Locatable.qll bfdf2dafae2829cac8d1e863a93676228d131b5a7f3df87c40d2f3b1839962b8 af243098af0955a40862387edf7526826fde62a64e5e6ca28de9e9603a8622bf +lib/codeql/swift/generated/Location.qll 921922352d39449067d9f2788309b5f3490091097ffe35e6aa98f9368626ce2c 0795c63565c4308e745400bc70ea73675160201590a95bb418de4e2ebca32764 lib/codeql/swift/generated/OtherAvailabilitySpec.qll 0e26a203b26ff0581b7396b0c6d1606feec5cc32477f676585cdec4911af91c5 0e26a203b26ff0581b7396b0c6d1606feec5cc32477f676585cdec4911af91c5 -lib/codeql/swift/generated/ParentChild.qll 7db14da89a0dc22ab41e654750f59d03085de8726ac358c458fccb0e0b75e193 e16991b33eb0ddea18c0699d7ea31710460ff8ada1f51d8e94f1100f6e18d1c8 +lib/codeql/swift/generated/ParentChild.qll f490202e849b9cbd550ee9d758644b85d43e60d81413e6c28df2850fb1e9a2d6 6b95aeab6b53a880b230ad0c96b6deb519a7368898c844632ae96090de59df99 lib/codeql/swift/generated/PlatformVersionAvailabilitySpec.qll f82d9ca416fe8bd59b5531b65b1c74c9f317b3297a6101544a11339a1cffce38 7f5c6d3309e66c134107afe55bae76dfc9a72cb7cdd6d4c3706b6b34cee09fa0 lib/codeql/swift/generated/PureSynthConstructors.qll 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 lib/codeql/swift/generated/Raw.qll 8d4880e5ee1fdd120adeb7bf0dfa1399e7b1a53b2cc7598aed8e15cbf996d1c0 da0d446347d29f5cd05281c17c24e87610f31c32adb7e05ab8f3a26bed55bd90 @@ -389,69 +389,69 @@ lib/codeql/swift/generated/Synth.qll 551fdf7e4b53f9ee1314d1bb42c2638cf82f45bfa1f lib/codeql/swift/generated/SynthConstructors.qll 2f801bd8b0db829b0253cd459ed3253c1fdfc55dce68ebc53e7fec138ef0aca4 2f801bd8b0db829b0253cd459ed3253c1fdfc55dce68ebc53e7fec138ef0aca4 lib/codeql/swift/generated/UnknownFile.qll 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 lib/codeql/swift/generated/UnknownLocation.qll e50efefa02a0ec1ff635a00951b5924602fc8cab57e5756e4a039382c69d3882 e50efefa02a0ec1ff635a00951b5924602fc8cab57e5756e4a039382c69d3882 -lib/codeql/swift/generated/UnspecifiedElement.qll 13625c651b880dbbd75555d55bd8464222c947c7bb9abfa2d28d5de8cce95081 15c57a3acf95a098e0c7b27ab120b2d86704e7917af888f478ecb013d86bd5a6 -lib/codeql/swift/generated/decl/AbstractStorageDecl.qll f14798085cca6c681495b442c96fce9e540e8106b63a746016d5e9f0455fd08b 588c7463e808348efdc01f00cdc9121c1cd4e06206fe412abfa478a53283c51e +lib/codeql/swift/generated/UnspecifiedElement.qll e121c84a2990fe314ab0756832776fe98fbc41f295d532b6e154aca1c5513b13 ee70eedad752175dbeee83c07fdb2ae7f4fa080fec7ba2be408469dfa11a0b4a +lib/codeql/swift/generated/decl/AbstractStorageDecl.qll 8ed642e35b066cc65b3d8ad16cf6c726cf0b3802330b0c3d3ba87b34451005d1 3474ad1468f09bf63f3582468ed97e9ed3b3ee61db90a4d31966cc97d9ca1b18 lib/codeql/swift/generated/decl/AbstractTypeParamDecl.qll 1e268b00d0f2dbbd85aa70ac206c5e4a4612f06ba0091e5253483635f486ccf9 5479e13e99f68f1f347283535f8098964f7fd4a34326ff36ad5711b2de1ab0d0 lib/codeql/swift/generated/decl/Accessor.qll c93cdf7dbb87e6c9b09b5fcf469b952041f753914a892addeb24bb46eaa51d29 1e8104da2da146d3e4d8f5f96b87872e63162e53b46f9c7038c75db51a676599 lib/codeql/swift/generated/decl/AccessorOrNamedFunction.qll b78aaef06cdaa172dce3e1dcd6394566b10ce445906e3cf67f6bef951b1662a4 a30d9c2ff79a313c7d0209d72080fdc0fabf10379f8caed5ff2d72dc518f8ad3 lib/codeql/swift/generated/decl/AssociatedTypeDecl.qll 4169d083104f9c089223ed3c5968f757b8cd6c726887bbb6fbaf21f5ed7ee144 4169d083104f9c089223ed3c5968f757b8cd6c726887bbb6fbaf21f5ed7ee144 -lib/codeql/swift/generated/decl/CapturedDecl.qll cbc416f48471f978d21f5f9ec02eb912692f9678ed154cb0b6d30df9de48e628 d9534cdf290ad48e285d27a520c0b1692afed14bbdd907430bcd46e7de2fbb31 +lib/codeql/swift/generated/decl/CapturedDecl.qll f8b69887acb35cc8de572984fef83eb08649845b49179b68d3afef36b526bddb 94ab461ef9ab5983dece5e2b1865b6056e381e5c06f2a3ec4dfde634a9368e59 lib/codeql/swift/generated/decl/ClassDecl.qll a60e8af2fdbcd20cfa2049660c8bcbbc00508fbd3dde72b4778317dfc23c5ae4 a60e8af2fdbcd20cfa2049660c8bcbbc00508fbd3dde72b4778317dfc23c5ae4 lib/codeql/swift/generated/decl/ConcreteVarDecl.qll 4801ccc477480c4bc4fc117976fbab152e081064e064c97fbb0f37199cb1d0a8 4d7cfbf5b39b307dd673781adc220fdef04213f2e3d080004fa658ba6d3acb8d -lib/codeql/swift/generated/decl/Decl.qll 2cc8ad7e3a3b658d7b1b06d20bdaf7604de387045c33b0d64191b5ef998708c2 7ed3194e89f7ae37cf9c691e4666449e4f406f6c3ee6d35bbbda4e66cdd3ca5a +lib/codeql/swift/generated/decl/Decl.qll 1d620c8e43df3cb46e5446dc9f6592205040c4d2b03c2ce1e491d7628f8904d0 b02514d7548a5a1dca39a148974a1b4dfeb681ebf81ad80f78d53ea48bab6133 lib/codeql/swift/generated/decl/Deinitializer.qll 816ecd92552915d06952517606a6e4c67bc53d7e7d9f5c09b7276e70612627fe 816ecd92552915d06952517606a6e4c67bc53d7e7d9f5c09b7276e70612627fe -lib/codeql/swift/generated/decl/EnumCaseDecl.qll 7942eb77f91680c3553becb313f21723e0b437eadebc117f0690e5364705bef1 40eec2e74c514cecdfcdf6d7d5c8a033c717f69a38cfca834934fe3859c4e1ef +lib/codeql/swift/generated/decl/EnumCaseDecl.qll 564718862a9fd5b99427591a83921bf57aac2074041b5b335577599e8eefda16 90899d7d7a9c695576ae4b24d19deb05e45e0e85c954ab41de154d5cc521019e lib/codeql/swift/generated/decl/EnumDecl.qll fa4490d511ee537751a4fab2478e65250ff3deba43c74db5341184c9ba25b534 fa4490d511ee537751a4fab2478e65250ff3deba43c74db5341184c9ba25b534 -lib/codeql/swift/generated/decl/EnumElementDecl.qll 7dbcd0dd5a5b96195250ae1ac4afd0901f418fba7de2e5d41a4335d387e33a69 bdc371b60a61369fa286005f67aa846876956048b99e4c9763fc3ea3bbdcbb5e -lib/codeql/swift/generated/decl/ExtensionDecl.qll 503bdac9ca6fefcaae3c798dc364bd225c50d507a1639f1bd2f055f8dae57ac3 1e6142d2d3d894da5dac18d14310967353d76acc7c629c59f8f62ec27baf8566 +lib/codeql/swift/generated/decl/EnumElementDecl.qll 41cad9be29b7afd56ba312ce00650ed89bffec2e2aaeed7bf26cd3dc0edb502e 33ac9ee5b205d32e5cf6a31f3f4bfd0f60b49fb0265200fd9e4dbbd5426fff02 +lib/codeql/swift/generated/decl/ExtensionDecl.qll 5472aa7cea119b68571065143fb4b2e335df003184efe8b8f28a98fd3ca3691e f65c8b078d1c34047cc66f5eb75dae8243e7aa42a7f3f2c21ea1ccf76eb9e7b9 lib/codeql/swift/generated/decl/Function.qll 92d1fbceb9e96afd00a1dfbfd15cec0063b3cba32be1c593702887acc00a388a 0cbae132d593b0313a2d75a4e428c7f1f07a88c1f0491a4b6fa237bb0da71df3 -lib/codeql/swift/generated/decl/GenericContext.qll 133bffffd61ee2c5b053e260a01cb09edf5ec2b7eaf782a063b53ffb7f004cfa 8256046cb997168332a2f55b3637c76b0bd6070ccb3a1bd097a8bf70ccbb7a78 +lib/codeql/swift/generated/decl/GenericContext.qll 5bbed6687f985dc8e812e48ae6ac17ec98d6cfccc6a72bee82afde58ccad07f7 ef7a2fa2646dd619af8f49ed1a12ce880a345dfc36b44e67868d733fc3b309e6 lib/codeql/swift/generated/decl/GenericTypeDecl.qll 71f5c9c6078567dda0a3ac17e2d2d590454776b2459267e31fed975724f84aec 669c5dbd8fad8daf007598e719ac0b2dbcb4f9fad698bffb6f1d0bcd2cee9102 lib/codeql/swift/generated/decl/GenericTypeParamDecl.qll bc41a9d854e65b1e0da86350870a8fe050eb1dc031cd17ded11c15b5ad8ad183 bc41a9d854e65b1e0da86350870a8fe050eb1dc031cd17ded11c15b5ad8ad183 -lib/codeql/swift/generated/decl/IfConfigDecl.qll 95ddabb5b3425197515f1f48740907aa06c82ece2acc84334969c6c4bf1c8819 036da5ac8c28b31f5a25e1beceea90548be3e02d03951dbfd94d8f8beca9ca43 -lib/codeql/swift/generated/decl/ImportDecl.qll 315e046861ed65dcc4fe821877488ff8bb2edfc1929f2b2865bbf61f611bd9cd e74e2bb4a051a8bc9a9fbe1787ce8df6c27347717201245381d5515c2793f77a -lib/codeql/swift/generated/decl/InfixOperatorDecl.qll d72240e27e1dc051be779015180ecaeaaf7a1067e21c2d277688881a24ce36aa ecce84b34c303a66135e815c4d656557952a85653701fca36213416560ef6bab +lib/codeql/swift/generated/decl/IfConfigDecl.qll 07ae599c23c75d4a1fc7f188dce70cf1ded749368274f071b5b9639b5e54f69a ef8dc3f91edf40b9f8e84672060cea0de1a9c6545fd7aadb80225d3ca8f883e9 +lib/codeql/swift/generated/decl/ImportDecl.qll 1adafa6660d0b3968d1ee8cbcb4632d3b3baaa8a72874d3c9c0f6185eac4bc3e 8e68a538da2bac088001427cbdf6234cfe33071f82193aa52dc99cb9be893f2d +lib/codeql/swift/generated/decl/InfixOperatorDecl.qll 3d94018c33422b6fbe18348d0d47c0747358777501155d49abd3c8f5012c8a5d 855b73306f510828ad30555d6bba98cd9eab918de9e78696921ccac584828fd6 lib/codeql/swift/generated/decl/Initializer.qll a72005f0abebd31b7b91f496ddae8dff49a027ba01b5a827e9b8870ecf34de17 a72005f0abebd31b7b91f496ddae8dff49a027ba01b5a827e9b8870ecf34de17 lib/codeql/swift/generated/decl/MissingMemberDecl.qll eaf8989eda461ec886a2e25c1e5e80fc4a409f079c8d28671e6e2127e3167479 d74b31b5dfa54ca5411cd5d41c58f1f76cfccc1e12b4f1fdeed398b4faae5355 -lib/codeql/swift/generated/decl/ModuleDecl.qll de504a719d1085e65889eb17707c1380f446d21d4fc05a0a3bb669c689319dc6 2d69d1a7c30a81989dd6a942366777be28b1436f0d48da4be7fe264fadc4c2aa +lib/codeql/swift/generated/decl/ModuleDecl.qll dd7bef7f19a5d2f57f0168eda80796ed8a74c7a136b3dc0cb289c3f750ef9a25 652d44d1ac5e31e4ccf4c5d29f2c5b985c68c4254458c3bfce09c2a821631f8f lib/codeql/swift/generated/decl/NamedFunction.qll e8c23d8344768fb7ffe31a6146952fb45f66e25c2dd32c91a6161aaa612e602f e8c23d8344768fb7ffe31a6146952fb45f66e25c2dd32c91a6161aaa612e602f -lib/codeql/swift/generated/decl/NominalTypeDecl.qll 39fb0ed0c68089fed89a003f631587b46212c8098c72881ccee0c558f60c52cb 376bf0bd0950e209ce9e66719fd513af08ae95a83a759844246bd052de4c29a8 -lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll eaef6c7da5c287ba9e281a11ef9e9a9ef3a89f44a0c4e332d53cdaff806c976a ad2d3470725c11e42b169b4ed40d5371d700e4077c517eb00f0b5c36e7a61d3b +lib/codeql/swift/generated/decl/NominalTypeDecl.qll 64914282b062364d81b013922069404d49b8c8830cc23944281d023779a9925c 72d45c5b6073cb32e6df6b62c2c919be50314d9380b955035cfadf500b3dbccf +lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll 4dc0fc09fe314cdc6788adb4a93e87a7c8121e3fecaada19a436321d248d377a 4e20e1820ddf7b23268707a2b98bbafc400219533f357189a267f8e35b89226e lib/codeql/swift/generated/decl/OperatorDecl.qll 3ffdc7ab780ee94a975f0ce3ae4252b52762ca8dbea6f0eb95f951e404c36a5b 25e39ccd868fa2d1fbce0eb7cbf8e9c2aca67d6fd42f76e247fb0fa74a51b230 -lib/codeql/swift/generated/decl/ParamDecl.qll 27aa11a413317288699ecec317f8c34ba3adb5d8015b562be7a8b2880dc4f12f 8b5cad8c1c835074c3e6ba8ec645f81684983785d299ce5f4afbe5fe0486e7f5 -lib/codeql/swift/generated/decl/PatternBindingDecl.qll 84538ba051adbc66534fd7e0e144db7c640054a7387f9a79270150cd8a756f4f c961c115d8f846bc26134774ec655d95f29917822d441d8a8ee9cfec1b12aa9b +lib/codeql/swift/generated/decl/ParamDecl.qll f5d2c9e40aa8a1a77793a6d66fc6b55ded11295ee996b883117ffd6ee2523441 e0137535d7eac959ed10b06ad769b8225c0fadeea03030c7b30191884234e9b9 +lib/codeql/swift/generated/decl/PatternBindingDecl.qll e598dc0ed9373b4ca9646cc7c408f65db6b40d4281c8cfcecd09524df81bfac8 2ff3fe7fd32004649a0d41a0bf6857ac48d3a7b2dd87f5c1ffd9d5eea0673551 lib/codeql/swift/generated/decl/PostfixOperatorDecl.qll 5aa85fa325020b39769fdb18ef97ef63bd28e0d46f26c1383138221a63065083 5aa85fa325020b39769fdb18ef97ef63bd28e0d46f26c1383138221a63065083 -lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll 6400ec7640a8157ecce9dc0b170aaa081492ab07d94a1f237dde89b255113932 8c87118ee3d4c26d3499ec10b2589a8a9d1b0827564a0722bd4c605e99412d3a +lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll dc867f12579cec4f9fe95b59dfc31ef0df60cccccaf41abc171a86b7fafaf3f2 4474a913c4bf4e8d60f100bf5a0d57cc042c1362b09dd3c9493cc23a75c32e84 lib/codeql/swift/generated/decl/PrecedenceGroupDecl.qll d0918f238484052a0af902624b671c04eb8d018ee71ef4931c2fdbb74fa5c5d4 d0918f238484052a0af902624b671c04eb8d018ee71ef4931c2fdbb74fa5c5d4 lib/codeql/swift/generated/decl/PrefixOperatorDecl.qll 18f2a1f83ea880775344fbc57ed332e17edba97a56594da64580baeb45e95a5d 18f2a1f83ea880775344fbc57ed332e17edba97a56594da64580baeb45e95a5d lib/codeql/swift/generated/decl/ProtocolDecl.qll 4b03e3c2a7af66e66e8abc40bd2ea35e71959f471669e551f4c42af7f0fd4566 4b03e3c2a7af66e66e8abc40bd2ea35e71959f471669e551f4c42af7f0fd4566 lib/codeql/swift/generated/decl/StructDecl.qll 9343b001dfeec83a6b41e88dc1ec75744d39c397e8e48441aa4d01493f10026a 9343b001dfeec83a6b41e88dc1ec75744d39c397e8e48441aa4d01493f10026a -lib/codeql/swift/generated/decl/SubscriptDecl.qll ac3365ab51037691ac9bf3d69e39e1e585afa0e95c0000f1a0bc4f2cfa749439 d55bb27c4cb62dd0cbb8f045fb39c3f6108733384050c246b340daa5f486e6f6 -lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll e92f14044c0017737b16e6e9e6c9495052db98013526f6a15046bce02fe7f8b0 ddd13baa81e359973307b473ef99be23e587c2565d9d0893b968d9c5df1c5f55 -lib/codeql/swift/generated/decl/TypeAliasDecl.qll a0f5da4179a888940768633a5c73e27e375fb84242cb17079b334809cee2d02c c110aa4c2c68573c2bf590655c697d48b0e1670a06e92fc734afb63e7886356a -lib/codeql/swift/generated/decl/TypeDecl.qll 4caf24ac14543feb8ab37674a768c080395029e786f7bf918d74c80cca634ccc cc370f5f456a81d177deec60b5055d117585fc74eb469f3c613fa6e475491df3 -lib/codeql/swift/generated/decl/ValueDecl.qll a63d293de8a44010c4ca90b641b66d1db743ba30e09714013f632aba5b4c6d5b 5913e5ee1e9a177585a4dcce1d0652d938b4a8df1c91ec153b75f69f69e98c19 -lib/codeql/swift/generated/decl/VarDecl.qll 528676e29b39b7013b3cf8a7d92d108959ba69c926f945034171eb81717e2181 edd746103df2559014119467361f5ead3395f13f51ce308482d14f008597ae8e +lib/codeql/swift/generated/decl/SubscriptDecl.qll d08d46ddff0816541b28e231ba83c41cb51b40d7ccf2e0e7465e62e17078c000 0a1f1741bea4d2a7ebde7cbaf1cd0f7730a9845a8fd45d3457dc1b2b63eab900 +lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll e90cc73d62ad6037f1ec200bf8356292fa48b6890762b68e3fba6a129c888fcd d9152cbdfbc8cfb66695ed10a5729abca1b58275616d16d19aae27fb745bf3aa +lib/codeql/swift/generated/decl/TypeAliasDecl.qll 2058a0699ddffabd7d1d554615bd7e9ce26810ef1c6c68601df46e071eb9a10c 94ba93ef3cc1028a3018831e336316e566b6028eee1d81bf4d754dbdbd401ea8 +lib/codeql/swift/generated/decl/TypeDecl.qll cc40d3a105654461a60f982b6bdb21c7e689e695d314eead245bfeeda92a4572 03d89aa4c77dacdc57cd867b4869b26cdb55a06e2ba6faf3dbb9fce8f881786b +lib/codeql/swift/generated/decl/ValueDecl.qll 7b297ed98f5e985b93c9de6be000d67f71796892599ae8274048d8ad6b6183b9 462c983d4163011b2232b684c9a6c3f01114096c4bb7f862d950380f527e3926 +lib/codeql/swift/generated/decl/VarDecl.qll c648a5432d63a547cd381646f9586b4fc72edb2cff8462533449761b1ec57a56 7f2c157975bc1de7a8b6ff980bed790d864a08f1d6c0de39c106d84d2b49b883 lib/codeql/swift/generated/expr/AbiSafeConversionExpr.qll f4c913df3f1c139a0533f9a3a2f2e07aee96ab723c957fc7153d68564e4fdd6d f4c913df3f1c139a0533f9a3a2f2e07aee96ab723c957fc7153d68564e4fdd6d lib/codeql/swift/generated/expr/AnyHashableErasureExpr.qll f450ac8e316def1cd64dcb61411bae191144079df7f313a5973e59dc89fe367f f450ac8e316def1cd64dcb61411bae191144079df7f313a5973e59dc89fe367f -lib/codeql/swift/generated/expr/AnyTryExpr.qll e3541dbea5fe3be849ee5a3c6adec2d48654f80f866d2f893af437e5f5edcae1 4d7f62e3e154cef2c9b11ab3ef2e23708ae9f03b29c94cef8941516e41597fbd -lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll 818b557130a3bda227fb34dbcef2895fe1b95390fb37bc583d8a8f63cac9dcc7 c023082f24b2ee61420434eb90d94f25a57c1b6cc7306b0e461232303f794f3b -lib/codeql/swift/generated/expr/ApplyExpr.qll bf4aacc7c967bafd633c52b0107b00c0253e8eff4b63123565d27bb6bc15e9a5 06d25eec923a812f156cc52f9e37d95fb8bf301c2b3cc7dcec59220747923651 +lib/codeql/swift/generated/expr/AnyTryExpr.qll e4759465411c215262909d10d729642779340698165aff0a66986c7dfc822832 83ec7fb0f11e2ffe15f3a0c97318121443936733f1adef17e5baa020bca2de29 +lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll de01c3b68c2a37e9f5dee0729838923cc615d436092e78b608b6f6c23e1b4965 612f72046aa2e49b9d494cad590bfae133bd5c00908ed4c8df82730294d21fb8 +lib/codeql/swift/generated/expr/ApplyExpr.qll 798b999f3da5d6b917ff57a0dc1fde149b906ffd72c6df5bc511f6e2d20a7e8b 8bce7f52c4bce1aad5c0b8a195dd1ab6f1d82289e5eb56fca4b7543be7943d15 lib/codeql/swift/generated/expr/ArchetypeToSuperExpr.qll e0b665b7389e5d0cb736426b9fd56abfec3b52f57178a12d55073f0776d8e5b7 e0b665b7389e5d0cb736426b9fd56abfec3b52f57178a12d55073f0776d8e5b7 -lib/codeql/swift/generated/expr/Argument.qll a61e1539419937f089c2dd427bb12c272d19bf17722f8bc65bcd33e032a07b7b 4ad5cb90c303cb64c3155c9933ad687db526da8312cb12fc8636f1d254ed5b76 -lib/codeql/swift/generated/expr/ArrayExpr.qll 151bbe8c9d40d38e2f33a2e08ce3f8929e9e9772a64ddf2d4d009491bcebb713 535e9338be482a589324b9adbdfdf56d532b097dfeae47a0b3e6ec5478ecb34f +lib/codeql/swift/generated/expr/Argument.qll 97991761563d806ff0199e69f4c9eda93e324bb40bd41ddec98388c2146cbd6b c231f4e0320700fe64ce43123027516088b877fddde3be18565e01890f6b10ce +lib/codeql/swift/generated/expr/ArrayExpr.qll 9894f7838b23c84c4c0ba442b790ada0231c2dc3508fd30735577397a87d9683 90ed566a71551f3549106bd60b972aca0ba52e8a2b787b58a3161634e26e773e lib/codeql/swift/generated/expr/ArrayToPointerExpr.qll afa9d62eb0f2044d8b2f5768c728558fe7d8f7be26de48261086752f57c70539 afa9d62eb0f2044d8b2f5768c728558fe7d8f7be26de48261086752f57c70539 -lib/codeql/swift/generated/expr/AssignExpr.qll e99bf7bc29303f91148661bf16126e84ca7edc2063604d2a4b4835957c81c95f 25253e9ae7b0292f569078b0558b787e755905d1d8e5ca564a2c2f0cfeb7525c +lib/codeql/swift/generated/expr/AssignExpr.qll 97d41626dfe4e474c5e80aaee433641847a91f5c483f6da6cfc016b454545802 4ca02b4a878f0783f7d7788c85ffbb89c8ed6027c7e6d391ea9892256215358a lib/codeql/swift/generated/expr/AutoClosureExpr.qll 5263d04d6d85ab7a61982cde5da1a3a6b92c0fa1fb1ddf5c651b90ad2fad59b9 5263d04d6d85ab7a61982cde5da1a3a6b92c0fa1fb1ddf5c651b90ad2fad59b9 lib/codeql/swift/generated/expr/AwaitExpr.qll e17b87b23bd71308ba957b6fe320047b76c261e65d8f9377430e392f831ce2f1 e17b87b23bd71308ba957b6fe320047b76c261e65d8f9377430e392f831ce2f1 lib/codeql/swift/generated/expr/BinaryExpr.qll 5ace1961cd6d6cf67960e1db97db177240acb6c6c4eba0a99e4a4e0cc2dae2e3 5ace1961cd6d6cf67960e1db97db177240acb6c6c4eba0a99e4a4e0cc2dae2e3 -lib/codeql/swift/generated/expr/BindOptionalExpr.qll 9e63807d7b3210c158745eb580b675135b5db0568f0bca6bb46ad4849937e3b2 92a81743845539572f5fea8e21914ffb38c7e55992a89d8c646d079655c2c5d6 +lib/codeql/swift/generated/expr/BindOptionalExpr.qll af5242a02f919905e673c0700497f2e0ecdf8f1043543f698239718bfd9cd6bb a792c3e9d9a17a716577a1580a62870f6927a2c37ebe88855fb10db59e037869 lib/codeql/swift/generated/expr/BooleanLiteralExpr.qll 8e13cdeb8bc2da9ef5d0c19e3904ac891dc126f4aa695bfe14a55f6e3b567ccb 4960b899c265547f7e9a935880cb3e12a25de2bc980aa128fbd90042dab63aff lib/codeql/swift/generated/expr/BridgeFromObjCExpr.qll b9a6520d01613dfb8c7606177e2d23759e2d8ce54bd255a4b76a817971061a6b b9a6520d01613dfb8c7606177e2d23759e2d8ce54bd255a4b76a817971061a6b lib/codeql/swift/generated/expr/BridgeToObjCExpr.qll 31ca13762aee9a6a17746f40ec4e1e929811c81fdadb27c48e0e7ce6a3a6222d 31ca13762aee9a6a17746f40ec4e1e929811c81fdadb27c48e0e7ce6a3a6222d lib/codeql/swift/generated/expr/BuiltinLiteralExpr.qll 052f8d0e9109a0d4496da1ae2b461417951614c88dbc9d80220908734b3f70c6 536fa290bb75deae0517d53528237eab74664958bf7fdbf8041283415dda2142 lib/codeql/swift/generated/expr/CallExpr.qll c7dc105fcb6c0956e20d40f736db35bd7f38f41c3d872858972c2ca120110d36 c7dc105fcb6c0956e20d40f736db35bd7f38f41c3d872858972c2ca120110d36 -lib/codeql/swift/generated/expr/CaptureListExpr.qll 63607dd5dc68a3a5cc736dd2ff74b64cf914883c7813ea795e39996238e68928 81e795f62bd38517eef4a2b05ba75c0e3d247d03c8d48a6539d97b14e080e6bc +lib/codeql/swift/generated/expr/CaptureListExpr.qll 4e94c2c66020f95af615d98756d7c1843c2744b3c1d83f73f24f6153d9d0592b e35e8190904415e2a1fe12857127c90cfaecde4f6f173d16399f45c0264d207c lib/codeql/swift/generated/expr/CheckedCastExpr.qll 146c24e72cda519676321d3bdb89d1953dfe1810d2710f04cfdc4210ace24c40 91093e0ba88ec3621b538d98454573b5eea6d43075a2ab0a08f80f9b9be336d3 lib/codeql/swift/generated/expr/ClassMetatypeToObjectExpr.qll 076c0f7369af3fffc8860429bd8e290962bf7fc8cf53bbba061de534e99cc8bf 076c0f7369af3fffc8860429bd8e290962bf7fc8cf53bbba061de534e99cc8bf lib/codeql/swift/generated/expr/ClosureExpr.qll f194fc8c5f67fcf0219e8e2de93ee2b820c27a609b2986b68d57a54445f66b61 3cae87f6c6eefb32195f06bc4c95ff6634446ecf346d3a3c94dc05c1539f3de2 @@ -462,146 +462,146 @@ lib/codeql/swift/generated/expr/ConditionalBridgeFromObjCExpr.qll 4a21e63cc54702 lib/codeql/swift/generated/expr/ConditionalCheckedCastExpr.qll 92a999dd1dcc1f498ed2e28b4d65ac697788960a66452a66b5281c287596d42b 92a999dd1dcc1f498ed2e28b4d65ac697788960a66452a66b5281c287596d42b lib/codeql/swift/generated/expr/CovariantFunctionConversionExpr.qll b749118590163eafbd538e71e4c903668451f52ae0dabbb13e504e7b1fefa9e1 abaf3f10d35bab1cf6ab44cb2e2eb1768938985ce00af4877d6043560a6b48ec lib/codeql/swift/generated/expr/CovariantReturnConversionExpr.qll f1b409f0bf54b149deb1a40fbe337579a0f6eb2498ef176ef5f64bc53e94e2fe 532d6cb2ebbb1e6da4b26df439214a5a64ec1eb8a222917ba2913f4ee8d73bd8 -lib/codeql/swift/generated/expr/DeclRefExpr.qll 3da24deb23c577e166ba613c05cb1446a84cc8e1fc926979e1d5c2982aacc3fa 60c8462cbf34ea775bf3e298ad9610b3ff5f5711b150a645869ebee197a8c40e -lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll 3ae13423447d2dc9bbafb2f3cb7f268ffe2ce4e66e12657328da48d6adb57b7d ec9782ca53bc44ccd0e5389b5a5722970fc4a1617076a1ca235fe26970a1bfac +lib/codeql/swift/generated/expr/DeclRefExpr.qll dda3034aba0170fb91ae62e5c8b02af27f3ac682c856af6eba2f8c57c186befe 338e7cfbea450e555191518dfa6b7b43cef3a0a029c4c0adb5101a2471c24c5e +lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll ca9f228742acf990a81308f68a66dc55b35c75f23d5f0cabfdff30a1b99064d7 a97de64329149db8ca6d25635bdda63df0a2bdb600cfe0c71017e2eb3fdecb15 lib/codeql/swift/generated/expr/DerivedToBaseExpr.qll 5f371b5b82262efb416af1a54073079dcf857f7a744010294f79a631c76c0e68 5f371b5b82262efb416af1a54073079dcf857f7a744010294f79a631c76c0e68 lib/codeql/swift/generated/expr/DestructureTupleExpr.qll 1214d25d0fa6a7c2f183d9b12c97c679e9b92420ca1970d802ea1fe84b42ccc8 1214d25d0fa6a7c2f183d9b12c97c679e9b92420ca1970d802ea1fe84b42ccc8 -lib/codeql/swift/generated/expr/DictionaryExpr.qll bcafddc686c115a971a382d6e9eae448533a2b0414b1c39654b4fd0f687fe4ee 1baabf702d37403f18a4422e00237ac8cc4101bd6b2d7a9112c1d844eaf43602 +lib/codeql/swift/generated/expr/DictionaryExpr.qll f8bab2bdf683f4974be102faea2f8ff48ede5937a9112a1fa149180143052b0a 152ae4811c5282c68b9f2eb7b123631fbe461af7a7947434abf7e523b35b27e2 lib/codeql/swift/generated/expr/DifferentiableFunctionExpr.qll 9143e12dfe0b3b4cc2d1fe27d893498f5bd6725c31bee217ab9fa1ca5efeca7b a28c05a5c249c1f0a59ab08bf50643ef4d13ba6f54437e8fa41700d44567ec71 lib/codeql/swift/generated/expr/DifferentiableFunctionExtractOriginalExpr.qll d90266387d6eecf2bacb2d0f5f05a2132a018f1ccf723664e314dcfd8972772d 44fe931ed622373f07fc89b1ea7c69af3f1cf3b9c5715d48d15dd2d0e49cc9dc lib/codeql/swift/generated/expr/DiscardAssignmentExpr.qll f2cb4a5295855bcfe47a223e0ab9b915c22081fe7dddda801b360aa365604efd f2cb4a5295855bcfe47a223e0ab9b915c22081fe7dddda801b360aa365604efd lib/codeql/swift/generated/expr/DotSelfExpr.qll af32541b2a03d91c4b4184b8ebca50e2fe61307c2b438f50f46cd90592147425 af32541b2a03d91c4b4184b8ebca50e2fe61307c2b438f50f46cd90592147425 -lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll 82a84703f7aa0c1383aa92d0d755eca8cd4aa0edcaa21363899722c3925a3a0f 795e5f27c604c17b896b182646c33825965e4178bc07ee7d6620ed988375c50f +lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll d0fc8b6e09dd76a5b7fcc7ad632520c704d8629546f42c7cf6b3fc936d1ba38d f1364fb26d3515594489485a1f3d0ab0520fb129c87ffed0d3920b754ddc7dbd lib/codeql/swift/generated/expr/DotSyntaxCallExpr.qll 1eedcaafbf5e83b5e535f608ba29e25f0e0de7dbc484e14001362bad132c45d0 1eedcaafbf5e83b5e535f608ba29e25f0e0de7dbc484e14001362bad132c45d0 lib/codeql/swift/generated/expr/DynamicLookupExpr.qll 0f0d745085364bca3b67f67e3445d530cbd3733d857c76acab2bccedabb5446e f252dd4b1ba1580fc9a32f42ab1b5be49b85120ec10c278083761494d1ee4c5d lib/codeql/swift/generated/expr/DynamicMemberRefExpr.qll 2eab0e58a191624a9bf81a25f5ddad841f04001b7e9412a91e49b9d015259bbe 2eab0e58a191624a9bf81a25f5ddad841f04001b7e9412a91e49b9d015259bbe lib/codeql/swift/generated/expr/DynamicSubscriptExpr.qll f9d7d2fc89f1b724cab837be23188604cefa2c368fa07e942c7a408c9e824f3d f9d7d2fc89f1b724cab837be23188604cefa2c368fa07e942c7a408c9e824f3d -lib/codeql/swift/generated/expr/DynamicTypeExpr.qll eb77056ec3682edf4a0adab47bf24b5afc19f66fe5bc56cf77b7a1a0c389ec29 e7cd0e71974ad84f67992468ecfc319fa9ee4f749718778d7718576ff06a8a05 -lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll 2a4a42843d9bbd24584c5ff4f60458df72737c3603aa2a22d57d466e53e4cb44 d03b7608a65fc2ccb39cc71167fc4350a7e29c86c782e0e734a21c99bb4e3f5a +lib/codeql/swift/generated/expr/DynamicTypeExpr.qll c29baea6ec5b0b7186b675e3322cd1cee9db8d647e16ac0f716990c22df17074 de9118fdb3778ef76de284992791d3f0f9978876f5799eda39da92c1242e603e +lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll edea1f464dc24ad8d300c547698699704cf7d9232782c2b6a536af6e058d440c 7d860abba668ac5fb078ac7b72d455824331d753751bbfbe7044a85a8365b6a7 lib/codeql/swift/generated/expr/ErasureExpr.qll c232bc7b612429b97dbd4bb2383c2601c7d12f63312f2c49e695c7a8a87fa72a c232bc7b612429b97dbd4bb2383c2601c7d12f63312f2c49e695c7a8a87fa72a lib/codeql/swift/generated/expr/ErrorExpr.qll 8e354eed5655e7261d939f3831eb6fa2961cdd2cebe41e3e3e7f54475e8a6083 8e354eed5655e7261d939f3831eb6fa2961cdd2cebe41e3e3e7f54475e8a6083 lib/codeql/swift/generated/expr/ExistentialMetatypeToObjectExpr.qll eb0d42aac3f6331011a0e26cf5581c5e0a1b5523d2da94672abdebe70000d65b efe2bc0424e551454acc919abe4dac7fd246b84f1ae0e5d2e31a49cbcf84ce40 -lib/codeql/swift/generated/expr/ExplicitCastExpr.qll 7c2a0ae4287b69f1e6baa66de9dd2c84881b7a975be9936eeb0feaba4fef740d 239dbe3f52d1d4d040fc3a579591126fddd2562905e439b24cadad39f63c7f5f +lib/codeql/swift/generated/expr/ExplicitCastExpr.qll 162f94461d41cf10a81567e13d5141d7aca417cc92d4ef55de97c7909681882e c8e7d1f569265a9bc2ae6a82e33783ec3ac077c3ae6e582edcb49a4eb816f7b5 lib/codeql/swift/generated/expr/ExplicitClosureExpr.qll c5291fb91e04a99133d1b4caf25f8bd6e7f2e7b9d5d99558143899f4dc9a7861 c5291fb91e04a99133d1b4caf25f8bd6e7f2e7b9d5d99558143899f4dc9a7861 -lib/codeql/swift/generated/expr/Expr.qll a8fd735004b6e60d09111292f4005399c63749d7b0a0c4c25f012e496237ebcd f51397fddb39469ca64701eb94a5fb520bf64a035b2274b96276efb3013c6456 +lib/codeql/swift/generated/expr/Expr.qll b09ddd296693ad78a2b0e7dc17d2b746357ae88645b046a026861eafeba616cb 498c628f904fbf48be10f32b146168b71f8f7d9f829614e422020701ccc0f8e4 lib/codeql/swift/generated/expr/FloatLiteralExpr.qll ae851773886b3d33ab5535572a4d6f771d4b11d6c93e802f01348edb2d80c454 35f103436fc2d1b2cec67b5fbae07b28c054c9687d57cbd3245c38c55d8bde0b lib/codeql/swift/generated/expr/ForceTryExpr.qll 062997b5e9a9e993de703856ae6af60fe1950951cf77cdab11b972fb0a5a4ed3 062997b5e9a9e993de703856ae6af60fe1950951cf77cdab11b972fb0a5a4ed3 -lib/codeql/swift/generated/expr/ForceValueExpr.qll 031918fbc027cbdaaa5fb24348c1b87e0de872ead052a0087afc7aa9a2a46146 b10988554b049b4c07ba394b028e2402b422581402cc82702d3a340f170aaee5 +lib/codeql/swift/generated/expr/ForceValueExpr.qll cd7ee5fa4a6f7094c7fbb9c5831f60d5ce18b123fe7beea3dcb26ca78e387118 7cdef6e9b501f9e9cb0d48828e68b349b25e4e5f312e5bcee91868ae8b196e7d lib/codeql/swift/generated/expr/ForcedCheckedCastExpr.qll cf4792bd4a2c5ce264de141bdbc2ec10f59f1a79a5def8c052737f67807bb8c1 cf4792bd4a2c5ce264de141bdbc2ec10f59f1a79a5def8c052737f67807bb8c1 lib/codeql/swift/generated/expr/ForeignObjectConversionExpr.qll 243a4e14037546fcbb0afc1c3ba9e93d386780e83518b0f03383a721c68998d6 8ea334750c8797f7334f01c177382088f60ef831902abf4ff8a62c43b8be4ca5 lib/codeql/swift/generated/expr/FunctionConversionExpr.qll 8f6c927adaf036358b276ad1d9069620f932fa9e0e15f77e46e5ed19318349ab 8f6c927adaf036358b276ad1d9069620f932fa9e0e15f77e46e5ed19318349ab -lib/codeql/swift/generated/expr/IdentityExpr.qll 2f65d65b46e0b0e9681e641bc543da38b5d1865bdd470c17ffe3286b2a9f72a6 b6b907f1bd7669fb494d3b0f1a6c4e65889becc2349d0d272a00ca09f258e5da -lib/codeql/swift/generated/expr/IfExpr.qll e1cc10ec12eea72143f922fd100a889e3391b0ea37f084be4466407d2a74717e c248b798feff101d04bdc0d24c383f4caf3f0fbcb26d1b747cf14bd42322081a -lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll 534ad4adc1fab3c12587dc300434afbad4a9c05d8ae35bfb832badb2db818245 3a382d7e3c1e4f5248a66bcd18cc1f295df6a3a8a3dca21c893533d0ef052cc7 -lib/codeql/swift/generated/expr/InOutExpr.qll 19401ce62967483efe219cd23512efbe782a0f0cd8352e71c0623671104335bc 9dc0076a2975bfe42f301e6b4f1da47a3aceb98807ded70d8d2a77529cfb10c7 +lib/codeql/swift/generated/expr/IdentityExpr.qll c897dca30406cf3b7bdee32050e61d30bd3c4a6929dd085864528ed988bcd517 7a3f4eb1f59a649caf06c988e0280f41bd18e80ea4fcc803e70f60acccde27b1 +lib/codeql/swift/generated/expr/IfExpr.qll e9e69fa787640a2f510aed7a263b480cded12cb9b308a24577c742d9aa75b08a 842cef9df1510fbd21dbd10a902a820770c4bd6682035ba473776b35c2f5728d +lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll d3244866ca16b30b82b27c88d71ac5d1eb88872daf789e849ee32f13329f776c 442ef5d940eaf9c34eff32638cb7c50853f321f3774cd32fe567d4982129a4e4 +lib/codeql/swift/generated/expr/InOutExpr.qll 92893f3db8c47e89deeaaee42ef70d5af3acbbfb4c2eca3c501097fbf13e475e f6f50562bcfe42554a457acdefeb02c0dca59eb7e36542b2c4e0589b64e7ce31 lib/codeql/swift/generated/expr/InOutToPointerExpr.qll 4b9ceffe43f192fac0c428d66e6d91c3a6e2136b6d4e3c98cdab83b2e6a77719 4b9ceffe43f192fac0c428d66e6d91c3a6e2136b6d4e3c98cdab83b2e6a77719 lib/codeql/swift/generated/expr/InitializerRefCallExpr.qll 4556d49d78566ad70a5e784a6db4897dc78ef1f30e67f0052dbb070eca8350f0 4556d49d78566ad70a5e784a6db4897dc78ef1f30e67f0052dbb070eca8350f0 lib/codeql/swift/generated/expr/InjectIntoOptionalExpr.qll b6fafb589901d73e94eb9bb0f5e87b54378d06ccc04c51a9f4c8003d1f23ead6 b6fafb589901d73e94eb9bb0f5e87b54378d06ccc04c51a9f4c8003d1f23ead6 lib/codeql/swift/generated/expr/IntegerLiteralExpr.qll aa54660c47169a35e396ea44430c3c4ec4353e33df1a00bd82aff7119f5af71b 7ba90cf17dd34080a9923253986b0f2680b44c4a4ba6e0fbad8b39d3b20c44b9 -lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll 76afd9b052d191efb55adc9d02da5cf538822df2b6d1e2f6138b0680b5580c5b cd8d11cd4d13d49971961a8ba872257e79eed813711dd442e7300b241ca9a7d8 +lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll e2c1aadf140c808a615bdc8732a154f6c1f8b79168779e1ba48753506fbd9516 5e9f20ee16b133269de6874c6776611b6f4eaec202a0e6a955a572c2a082ac40 lib/codeql/swift/generated/expr/IsExpr.qll b5ca50490cae8ac590b68a1a51b7039a54280d606b42c444808a04fa26c7e1b6 b5ca50490cae8ac590b68a1a51b7039a54280d606b42c444808a04fa26c7e1b6 -lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll 9256a74d0cbce2390ac5af8a96d16d50837cc8bac5cbe150f1a6f9bc2783369c e91bde8513bfeb287f13e6bf4fe9344822e3f28ef18554d1b68d4411b965d119 +lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll 157a9c2fcf229b76d104abfa49f74337e20ac4d1fa1be2eaed1290cbd9bd1232 70ec0e7ee2e2c716ba510916fdf6d1d6dd6fd93b740a46c909ddb9e877427fe1 lib/codeql/swift/generated/expr/KeyPathDotExpr.qll ea73a462801fbe5e27b2f47bca4b39f6936d326d15d6de3f18b7afa6ace35878 ea73a462801fbe5e27b2f47bca4b39f6936d326d15d6de3f18b7afa6ace35878 -lib/codeql/swift/generated/expr/KeyPathExpr.qll 320299a42630a6190b98bf27a6e4acb280573dc5bff8fc7d5fc734107984629b 51823892909330c12fb53f27d35cc686b03793b66c62b6423b25f96e07a0946d -lib/codeql/swift/generated/expr/LazyInitializationExpr.qll a32e19a88296c499c8a934d0be5400ceb310e7f73996518c4ddc5dd06e922bd4 ecfcc601f01581993b2c5adbd0c00c741e4731422c85d75359c27f80d5d4be17 +lib/codeql/swift/generated/expr/KeyPathExpr.qll 654b32a92ff8015cb4b8d64c83abed601a884f4181613a7d428e975a945afff5 4c82c7b9d9232e84dd898cb7d3d79c1365481cd9d37444318a776ae509eb023a +lib/codeql/swift/generated/expr/LazyInitializationExpr.qll b81b831893b0f1c2bcbf48a708267cd54a86dfc6af6dde8b8b57a03e045abff2 b28cf1f4017edee09278a23f403932f91fb1a21ea83778cccf7683b5a57f6480 lib/codeql/swift/generated/expr/LinearFunctionExpr.qll cd4c31bed9d0beb09fdfc57069d28adb3a661c064d9c6f52bb250011d8e212a7 cd4c31bed9d0beb09fdfc57069d28adb3a661c064d9c6f52bb250011d8e212a7 lib/codeql/swift/generated/expr/LinearFunctionExtractOriginalExpr.qll ee7d3e025815b5af392ffc006ec91e3150130f2bd708ab92dbe80f2efa9e6792 bcf9ed64cca2dcf5bb544f6347de3d6faa059a1900042a36555e11dfbe0a6013 lib/codeql/swift/generated/expr/LinearToDifferentiableFunctionExpr.qll f7aa178bff083d8e2822fda63de201d9d7f56f7f59f797ec92826001fca98143 c3ef32483f6da294c066c66b1d40159bc51366d817cf64a364f375f5e5dfa8b0 lib/codeql/swift/generated/expr/LiteralExpr.qll b501f426fa4e638b24d772c2ce4a4e0d40fce25b083a3eee361a66983683ee9d 068208879c86fbd5bed8290ce5962868af6c294a53ad1548cf89cf5a7f8e1781 lib/codeql/swift/generated/expr/LoadExpr.qll 90b9ba4c96c26c476c3692b1200c31071aa10199d3e21ef386ff48b9f0b6d33a 90b9ba4c96c26c476c3692b1200c31071aa10199d3e21ef386ff48b9f0b6d33a -lib/codeql/swift/generated/expr/LookupExpr.qll b779a332de7d4e2713e46f0755d199af67bc1982777307603b6da93f089ce736 984f030417fb890262404e8da98133f8352289058463c6f049d3083a7b25201a +lib/codeql/swift/generated/expr/LookupExpr.qll 12844a93ff8244c9a9c7091b32c56e80a1196dee5fbdd67dafa5329e8d424ed9 da9ba34043930d541751ba3bc828cfcf86cc0fcf3b58bf2a2a0b8d9ad7d73153 lib/codeql/swift/generated/expr/MagicIdentifierLiteralExpr.qll 16f0050128caf916506b1f7372dc225a12809a60b5b00f108705fcdfce3344a8 c064778526a5854bdf8cdbf4b64ad680b60df9fe71ec7a2d9aa6c36a7c4e5b31 -lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll bdb121f1e355ab5556288eaab7fd6e9bc811d6178d5bc923f70495674f124ac1 132002ab50d8ddb6192969c7ae723652c3a043170f122e7e1e6f69a3ded2dec9 +lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll c63cd023a5c2662e2beee8dba5f9cb0012103424a245df5fde0d4a08a13a87ea 78729409bc0e387ad2ed7cd84b074dbf190f378a6c8794f4a6596ddfa1b1ad85 lib/codeql/swift/generated/expr/MemberRefExpr.qll e7db805b904d9b5d1e2bc2c171656e9da58f02a585127c45f52f7f8e691dc2e5 b44b5208e0b72060527a6fdb24b17b208f2263d78690d13548fba937fe0db3cd lib/codeql/swift/generated/expr/MetatypeConversionExpr.qll 714ecbc8ac51fdaaa4075388f20fe5063ead9264ca20c4ab8864c48364ef4b42 714ecbc8ac51fdaaa4075388f20fe5063ead9264ca20c4ab8864c48364ef4b42 -lib/codeql/swift/generated/expr/MethodLookupExpr.qll c046f7a05fa7a7a6cdbd77814d4695298132d5b8d7fc77b069760bd99ca2dcd5 b645d0b979916293b61a7dbb363d47478e3abf3e5f08fcdbfc466a46109b84f1 +lib/codeql/swift/generated/expr/MethodLookupExpr.qll 526c9001c311a890db2409a46180a7fedbb11b6dcd8ee23dda4d4644e65bed3a 4b287235a19b85880136ac3485a85742aad7217021c9f6729bf2a39be5ebd1a1 lib/codeql/swift/generated/expr/NilLiteralExpr.qll 6f44106bc5396c87681676fc3e1239fe052d1a481d0a854afa8b66369668b058 6f44106bc5396c87681676fc3e1239fe052d1a481d0a854afa8b66369668b058 lib/codeql/swift/generated/expr/NumberLiteralExpr.qll 8acc7df8fe83b7d36d66b2feed0b8859bfde873c6a88dd676c9ebed32f39bd04 4bbafc8996b2e95522d8167417668b536b2651817f732554de3083c4857af96a -lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll 6d662aeaa104bb590fca8c0b18c47c6a7b841eb118b2e40783d4e1410dc6b188 64adf0a0b32de64189cea427741d9d8c559b5a606b6a9de77b76aa67c3926487 -lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll 16fde05a4a997f5fab3b7abc20215062dc7b110e5291bda061b59ba673b639af a8fdb788d1caeae3954f37ccc4c688248ee6bc7548086832f9646d99b12bcb6d -lib/codeql/swift/generated/expr/OneWayExpr.qll e4e4f44eaaf8bba954fbbd2f33ab3b6b000a8adca8889eb07fe1b230f2e9d86a 60c86fb20399c60cd8c95a91f2a76f82f5b370bd52d25694139b23215af64d5e +lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll efc72580627467dce30ab784bfb963bd21297440bd6287600d0b3f2c5836c340 29a7974a65bde8f434de159e9a6ea0f6f48609d4d3332a216261f3c64cf3a070 +lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll 199b3a5196bff35681ba2e4bdb546cfbe0a2e265f535d05cfdb89af9c382c1a6 7c6b962565841a634c850d088fd404a3e6f3045e05ff555e1cde0ec02ba8dc8d +lib/codeql/swift/generated/expr/OneWayExpr.qll 8464649694b671a8462476fcd3827b07f8448069c7caa9e9efce44d7ce87aee0 c3e143ecd28238342a1d911a468087cc58a751106385f01cbe5a44e19c862d0e lib/codeql/swift/generated/expr/OpaqueValueExpr.qll 354f23d00d5ea2e734fd192130620d26c76c14d5bb7b0a1aa69f17ffb5289793 354f23d00d5ea2e734fd192130620d26c76c14d5bb7b0a1aa69f17ffb5289793 -lib/codeql/swift/generated/expr/OpenExistentialExpr.qll 3c703aeb60d582ef2b3ec279549e6d5e587053192ebb52791f8ed7309da5de88 ab22ef76436bfd3cac13d02b0da81063dcc38d5c3a08fc6501db940a7b8660c7 -lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll 30580135a909742ce63edcf412640aad1aae9f8a4dcbb9814e579fa9ae046c25 f6f7159379605cc985032ca9795cb5c711db9d318d45c90c91618f0dd144636b +lib/codeql/swift/generated/expr/OpenExistentialExpr.qll 55ff1b4fdf23b787538f8b8cdc5f382d874221cec230f8fa35189ebf6de09b58 8235fe3387753a0ac389e297bf67b416991117587a98a566620ac9b328887dd6 +lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll 76a3a789b3a4f17dd494f973f099766aa1db97c38cbbd93542e664a7cd7e1680 f56ce693b59cee6713a7cfdb2937a8a4e791d6e80c241ecd333ab197482a2d1b lib/codeql/swift/generated/expr/OptionalTryExpr.qll f0c8dff90faee4fbf07772efda53afe1acc1fd148c16ee4d85a1502a36178e71 f0c8dff90faee4fbf07772efda53afe1acc1fd148c16ee4d85a1502a36178e71 -lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll 2a3aea57c598fac2c7b2972983cc735acb38eac65e65903f6e76e2166ca58a78 a99d418f26b3e867c42633d93769e49a06f3863fc2068f16cb6bc7f331ad3f56 -lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll 382fec573d036c6b75692d42d64b3e3ed3088c73b905318cb4cc5a743e009578 9feb7a67656d1e6380e2be1a4484980dc8b40844aebdd032a2862af834d2da2e +lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll 9e695cca00e162beadad513d6833f117cee0f364da6f16c7ed3809573c1fbfe2 ff29f1f265e22eefc9166f77fa8adca7f89d3f769591149e21c58c0789577a88 +lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll fee0ef58103e48b9238f1dd94d530a54e8ffaea95924cdbb38057701360a849d 2e851c3aee89aa3cbc3b67846a723b98708233e74e872641988c3200476d2da2 lib/codeql/swift/generated/expr/ParenExpr.qll f3fb35017423ee7360cab737249c01623cafc5affe8845f3898697d3bd2ef9d7 f3fb35017423ee7360cab737249c01623cafc5affe8845f3898697d3bd2ef9d7 lib/codeql/swift/generated/expr/PointerToPointerExpr.qll 7d6fa806bba09804705f9cef5be66e09cbbbbda9a4c5eae75d4380f1527bb1bd 7d6fa806bba09804705f9cef5be66e09cbbbbda9a4c5eae75d4380f1527bb1bd lib/codeql/swift/generated/expr/PostfixUnaryExpr.qll d1094c42aa03158bf89bace09b0a92b3056d560ebf69ddbf286accce7940d3ab d1094c42aa03158bf89bace09b0a92b3056d560ebf69ddbf286accce7940d3ab lib/codeql/swift/generated/expr/PrefixUnaryExpr.qll f66dee3c70ed257914de4dd4e8501bb49c9fe6c156ddad86cdcc636cf49b5f62 f66dee3c70ed257914de4dd4e8501bb49c9fe6c156ddad86cdcc636cf49b5f62 -lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll be709fb5ca2b4d85eb26fdaf50a60d87252c64a84400acec1d739197da2cfff8 9fa64c4904efc96bc3566c14f38592f1f41ace65d669fdda57cba858bbd52c6f +lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll 0d604764ca2e77a51b7e7062a1f57c6f46dd007717bdebf765eb7b737ef5062d cff734718467dfd4abc12dcf7e72c5745fe4e917204cdd22e42973f30eb06df7 lib/codeql/swift/generated/expr/ProtocolMetatypeToObjectExpr.qll b692be6e5b249c095b77f4adcad5760f48bc07f6f53767ee3d236025ee4a2a51 efa47435cde494f3477164c540ac1ce0b036cb9c60f5f8ec7bfca82a88e208fb -lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll 0339797449a2dcb08d874f800035e444a86a112f3ba2327a49c82dae6ab4cec9 6fc8cdd932ced95ef0548d81731b71e55b0b1ccffbce579d80370bd9523f722d +lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll 87984796ee7bb5f8f474563d03e667b09ff36ccba5e084504e24ab3d9e90d4f2 b4885cb5a72edad07011e3e576ff3ce08ef6399320786ce1cf9d7a0a6350eb6f lib/codeql/swift/generated/expr/RegexLiteralExpr.qll a11eb6f6ce7cebb35ab9ff51eae85f272980140814d7e6bded454069457a1312 bdb4bb65c9f4e187cf743ed13c0213bb7e55db9cc3adeae2169df5e32b003940 -lib/codeql/swift/generated/expr/SelfApplyExpr.qll 7890ce785dffa87daa086498d300a1926b75d3ed32fee9bb227cd65e6833c7cc 0ef9389478c0de2d43b360525216f7dd097323b957f8fe36ec18013183e63689 -lib/codeql/swift/generated/expr/SequenceExpr.qll 7467f86f7ce67bf6b50585eed32c026700c800300156179b09858fee8fafa96c 861d827db780611557a87d5b36f173d470b4701729ac773dd0091b195619fa24 +lib/codeql/swift/generated/expr/SelfApplyExpr.qll c0815a4d6d4f08bd0c7bc170fa817ebcb2328c937c8ef16391fb0da71aff17ae 0979f035e8d4b54e93f17163a4df3c2aa65f23d56c491fa72376887e3e5c10ac +lib/codeql/swift/generated/expr/SequenceExpr.qll 62301b2e4c76de4820c6deef0ee95c8b328ed14ba8eac70aa10cc8fb0f3c5ace feb960c796ea517abc9587bd76f7ae9aabfd9a6b0984fe2d8380e803b002eede lib/codeql/swift/generated/expr/StringLiteralExpr.qll f420c5cd51a223b6f98177147967266e0094a5718ba2d57ae2d3acbb64bbb4b6 30d6dab2a93fd95e652a700902c4d106fecfce13880c2ece565de29f2504bedf lib/codeql/swift/generated/expr/StringToPointerExpr.qll ef69b570aa90697d438f5787a86797955b4b2f985960b5859a7bd13b9ecb9cd3 ef69b570aa90697d438f5787a86797955b4b2f985960b5859a7bd13b9ecb9cd3 -lib/codeql/swift/generated/expr/SubscriptExpr.qll 814310819247d459fa650e02022083d49f2103d1dd79169ac9980fbfecd8ba45 c33270ae90e950af8affd8ef99208d092bcbe2994511c1c3f15aad72dcde5eb2 -lib/codeql/swift/generated/expr/SuperRefExpr.qll ae3563dd5dc3a820f627f8ca06e6b13876f7ff1125ba679773fdbb67fc47a693 de24bebae85e543e6d5b2bc2b3236aefe46d0511668838cacd60023d09318647 -lib/codeql/swift/generated/expr/TapExpr.qll ee07e14ed0bffeb28c7cd8068ed1010202319d456a7c378b70de6d733f18f12d d1fdec2425d6a3e774c279d2b9b2291d40816e8bf4da4a46704d31b7037161dd +lib/codeql/swift/generated/expr/SubscriptExpr.qll 70ca2812ac4018c062fcb099e20433c7960325e68cfc544599d1860793b1464f d01d4b4ed833cb0390c3e96e75ef51150721245b0277946d75daca32d4085d9b +lib/codeql/swift/generated/expr/SuperRefExpr.qll f550961b912bdcaf159d4729b0a3f6911e97365e6d429717d4a9770a2a83a184 e5735644d755ac2ee56f6c3ab13ca6657c21cd00a366665ea858d405d32cb112 +lib/codeql/swift/generated/expr/TapExpr.qll 8556465559ed243c16396a1b426b666362c1bab1535a12faf9c1050e1b06c668 ea1c30b90d3620e580294d7d7010a720be688e10a9469405cd58b3da55070dc6 lib/codeql/swift/generated/expr/TryExpr.qll e6619905d9b2e06708c3bf41dace8c4e6332903f7111b3a59609d2bb7a6483ee e6619905d9b2e06708c3bf41dace8c4e6332903f7111b3a59609d2bb7a6483ee -lib/codeql/swift/generated/expr/TupleElementExpr.qll f729d1120bdb850ec0add490f0997d1c6af9356f5634a2ac11bde14304f91cc3 9031560267c3327f1a63777dd4fe4158093313ea11998efa9bb7bd7df8dcdc79 -lib/codeql/swift/generated/expr/TupleExpr.qll c3a0123f15bd584c8c27703a92df20c003ccea55665dab9fd5119d9b5c0ae93b e65362b0cb86b07a50e384534612eea84b44635ae55a61927d0d558ea44c3aa3 -lib/codeql/swift/generated/expr/TypeExpr.qll e2103b8d717e0390baffce2f35d2b01d3084f873a47fe7e70ba452368c640bd3 e311df2c9b77503bc776a6c3266d3fcd17a368d0f5cf7a5dbb7df00123b284f1 +lib/codeql/swift/generated/expr/TupleElementExpr.qll e0050f30b31c58bcfbaaa61137484f9463aab435cbe1fd0dddd7a4b9d3a8ae46 0192eb79f1b1bff6185dddbc8ed37865cb669a670ffb9f5b63c34c1bf53a73c2 +lib/codeql/swift/generated/expr/TupleExpr.qll b834c6347ec355f1135274f65bd7ca3768be42ea173225227a6b543c2fb2243b fddb421e1cdc8ae24afb6b72c0636b3341c5b039a4277fc99f00bbb077645cf8 +lib/codeql/swift/generated/expr/TypeExpr.qll accffc2dbe4a1f1ebdaeb4ca6a130faf139288a7470740213d5379ddc94dad18 e4595beff0e7b7cd698e2bb708ea10586cc2f2de5d6f9dcf3da3c3d9b43d33eb lib/codeql/swift/generated/expr/UnderlyingToOpaqueExpr.qll 13d6c7a16ec0c4c92d12e052437dfa84274394ee8a4ca9b2c9e59514564dc683 13d6c7a16ec0c4c92d12e052437dfa84274394ee8a4ca9b2c9e59514564dc683 lib/codeql/swift/generated/expr/UnevaluatedInstanceExpr.qll 21dedc617838eed25a8d3a011296fda78f99aee0e8ae2c06789484da6886cfea 21dedc617838eed25a8d3a011296fda78f99aee0e8ae2c06789484da6886cfea lib/codeql/swift/generated/expr/UnresolvedDeclRefExpr.qll 17e83f6418f39cfd3b7768ba694dafce2807f97239d3ac0939fc0c3761ae3571 910e9440cae403b13b6dd501a3dbbda564a1d7d61a532e99a1825590c2d9a4ab -lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll 49fbcf07c345b6db06cfcb09e6f03b45b34fa7e520a3c205d47558d779e4c962 1dd710c2ffd9a0fa8b3f4a117ccc1d85d9c940e5387403472360b6732c2cbffb +lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll 069ae7d5cf10c910b329252f553483a12b91fa9abee8622c096e2f7f95520c12 9a319e6da340b064042efd0ad5c4d0d55af9835053c881b1f7b43ceafd1fbb53 lib/codeql/swift/generated/expr/UnresolvedMemberChainResultExpr.qll ce900badb9484eb2202c4df5ab11de7a3765e8e5eefaa9639779500942790ef1 c626ff29598af71151dd4395086134008951d9790aa44bcd3d4b2d91d6ca017a lib/codeql/swift/generated/expr/UnresolvedMemberExpr.qll 6604f7eea32c151322c446c58e91ff68f3cfbf0fc040ccee046669bcc59fb42d c7738e6b909cb621ac109235ba13ede67a10b32894fd1a5114b16d48d6e9b606 -lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll 0c41a4752c618e38c5dcb0892afe5bf112a2a7197270338673f7d676ed40bdc5 0187956c9c5cd49b6de82db12c157115015031a4fce7998cd5380d19cfd78ab9 -lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll 6235187fc15e1b041d1b9058fa239b1f23f638d8ebc09f1bc424ece99a26ebd5 96e3eafe9adfe7736f6090fa9f2c93573697a69d5ad529852abf3b5e4a4e72ca +lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll 74424b4477fae99de30141cd4f343f20d22b6420d06cd3fc3d8291b25d741dc0 840d8269b09396c7d280f2e81b87898e463fce2f585d1a147863dd27eae9905b +lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll 3e5104b7539b4652d39b40e92f1e813314f9c0dc101f07568aa316a099a01de0 8f96d5b4f7407c116f990c9313534d4bcc06d3bad72269823fbad82a3a09c188 lib/codeql/swift/generated/expr/UnresolvedTypeConversionExpr.qll a38b74b695b9a21b2f1202d4d39017c3ac401e468079477b6d4901c118ae26b6 a79fb5b50b2a50cb2508360374640817848044a203e6b2ce93d6f441a208b84d -lib/codeql/swift/generated/expr/VarargExpansionExpr.qll f376431600530b233e0c2cab8544e1ecaf6d8dd13e885a0f643f13b4d98b910a 924daf0733b31937a4dc15d665530204103c9a2b1c0f3abdbbd658f189b77d82 +lib/codeql/swift/generated/expr/VarargExpansionExpr.qll ac50264811fc0303220f7825222577c24f0752d5d7bfcb614211ca166269858d 7f11ef495d7550747afe9ddaef94d5c2b127bced88331796dc9b6a331a2db407 lib/codeql/swift/generated/pattern/AnyPattern.qll ce091e368da281381539d17e3bac59497ad51bb9c167d8991b661db11c482775 ce091e368da281381539d17e3bac59497ad51bb9c167d8991b661db11c482775 -lib/codeql/swift/generated/pattern/BindingPattern.qll 0a6f32d66be8fc32daa2843660e4f460b85df79ff18f424aee1fc4c280885f1c eac5a045c08fe828871931f335105ee5e9eeb2fd313d14886631fd5701254721 +lib/codeql/swift/generated/pattern/BindingPattern.qll 61ae8b380b43c80710cf7d33c718c45b06cfa3680990e38e4191b3732236595c 1ff0450958cce5a5bfd00942d4846e3b2652499c738bd2790255632c883af0dd lib/codeql/swift/generated/pattern/BoolPattern.qll 118300aa665defa688a7c28f82deb73fa76adce1429d19aa082c71cfcbeb0903 0cd6db87e925e89f8ad6d464762d01d63ddfd34b05a31d5e80eb41aec37480b4 -lib/codeql/swift/generated/pattern/EnumElementPattern.qll 7c5a75523f851aa3e67c8c4e8274516715ebf61876931956169a9af03e1e1544 6631cff61b4b27ff8ba9eceb1bff25905159086154093c6200d157273ac10c42 -lib/codeql/swift/generated/pattern/ExprPattern.qll 68e211bc265d80eb77c3227fe804d54fcd199693dba3a6a1bdc74ac190c2c53d df5df794ef24c91d0414995dbdf57ca2009ccc55f70fd3298d6c77572c1d5e7e -lib/codeql/swift/generated/pattern/IsPattern.qll 1428413d7edc1daae1b9369184d2bfe93e83ed91b782ef8217ecdf231f6d858b e1a21f58b2b511bfbd47df08af95750c9731f647a28583220bfcc89aecfeeb18 +lib/codeql/swift/generated/pattern/EnumElementPattern.qll 4aad6e1db45b8d39f61827e44335b2d7c1b9346538933bea82e4cec4b0993e3a 645edf97eb83f077f82c5f08cec912b845c826c2067f38f050b6e78031fe3a2e +lib/codeql/swift/generated/pattern/ExprPattern.qll 169cef487e499a21d0d2cc4eda7268eb29cb6b1081fa6a0bc4e8571677f063f3 b7f3160f0812cf565873b607a247e184f17cc0289758f9a46748e90e783abd4f +lib/codeql/swift/generated/pattern/IsPattern.qll 864c38251026a523f91f0c097899cbc0c281f29d5c11142d5434cd182e8d70b8 be03f3a3aacbd44dc8e6a03f88d241d1247a3686c0d7d8eb4b50fa57c675aac9 lib/codeql/swift/generated/pattern/NamedPattern.qll 5d25e51eb83e86363b95a6531ffb164e5a6070b4a577f3900140edbef0e83c71 9e88b2b2b90a547b402d4782e8d494bc555d4200763c094dd985fe3b7ebc1ec8 -lib/codeql/swift/generated/pattern/OptionalSomePattern.qll 93e3b0d2f6ebc042ebc9ff139f4df5d80e715e1a2cfa4c5ded7548a5f3897fc8 aa0bb0ae4c82472911fa9d434080f6c4fd1d8a316ed97d9aae8bde0a81a41da3 -lib/codeql/swift/generated/pattern/ParenPattern.qll 2b86219dec05da6e953f4c1cb038d98c3566ab278279d8af723817926ae88eec 23e586a6180635e81136d768b3b99755f08ef0e1c8bb46048f6dd31cf8a30879 +lib/codeql/swift/generated/pattern/OptionalSomePattern.qll 5b9c7032584619d4921d1a1324e3ce4bd7207f0d4daa703e1e059f983bf1b132 e6d44514cd123a7ad27f657a2b83d46277a961a849139380ece886430a862920 +lib/codeql/swift/generated/pattern/ParenPattern.qll 337cb03dcb7384f7ef13e35d843b3498c0ae391374f5e870d1e52c2d1baacd95 cba288ee99726f5bbf15cf61971e000a835cf6e8b7507dcf6f6c6dea91ec287a lib/codeql/swift/generated/pattern/Pattern.qll 0e96528a8dd87185f4fb23ba33ea418932762127e99739d7e56e5c8988e024d1 ba1e010c9f7f891048fb8c4ff8ea5a6c664c09e43d74b860d559f6459f82554a -lib/codeql/swift/generated/pattern/TuplePattern.qll d82f3fc807251263209d0cf27f19a48707e0368f3e93192c82d9ade66baca52d 68f1375cb150bcc280ecc065cdac85e7b05ecfd630993ebe944e9f34482818a6 -lib/codeql/swift/generated/pattern/TypedPattern.qll 4d9dec2bad3deccd7881ea8a0d6ff5807fae998febf2b4e6f0dd98341a0bbbdc 57309d44718c48e93622911957fc0a81dabf28d0a1f488c834f052d79bc7e93e -lib/codeql/swift/generated/stmt/BraceStmt.qll 1bbe5c2c4d88885e5345423ca03af269f881fc32a02154072acafd111a6c18b7 6a815892a8372bdfd12c270790d2ef7242310b54703fed8292b8d4ab5ee9d7e1 -lib/codeql/swift/generated/stmt/BreakStmt.qll ec8d423c7139f6fc8470d039549d9a6cb53834645cf0e940bceaee1aed560788 45c2b269aabd209e811d99fd0ae457fff9ed5332df854a7bf86c1f436ea549cb -lib/codeql/swift/generated/stmt/CaseLabelItem.qll a2eb4027d8cdacd95134f1ac40b4dd96c1fbc85ddcc92f3aef876cd41764eb5a 6b583bfacaea6033fd803abc1e7e9b64d760aa66200bd2a1d18561bc0c999234 -lib/codeql/swift/generated/stmt/CaseStmt.qll 31b7912e3e85b25864249c3474791fbe821745fbd81f8065b8092383a6005d64 34b873825d1dbcc30dbb551afc0ca0d66c2f5ee8f67b6256b9b74aa03e5fc83d -lib/codeql/swift/generated/stmt/ConditionElement.qll dc1d2180b779d7e2700e46fcc30dfe20caa45371d254c561e57b762a0ee847b0 ab5aea9669bc3cf2e4e20cda87d8ee403896c3749441389dc86f3dd8b2335027 -lib/codeql/swift/generated/stmt/ContinueStmt.qll c29f2fb3913ac561eb9949c9a74aab4e57a00bb80ae2976944f7276c38a2993f 948b6a69841e45bb16066d022616b8854d9a3ece233d8931d5c5e077d59b8679 -lib/codeql/swift/generated/stmt/DeferStmt.qll fd218f179d7139ccfa466bc59ec815d611bc80503f55c224d302060db956fa9e 9b153ed53e84e468ea8887c4866458f32c1b006c1bd51a872997d55f46628bc6 -lib/codeql/swift/generated/stmt/DoCatchStmt.qll 2d9c6235000936da027a89d356d7004ddd8491e4b7533b0ff797e3374abb469b f63ca4196f432333b9ffd1edd781737affb973f76d49394aac23143b8b9b2e72 -lib/codeql/swift/generated/stmt/DoStmt.qll dbce454f0e9e7cbafd610eb00f68d6ce839e111bcfe3a7e9bac315f29e3f6a23 7275838e3fad229de57115afaadaa455efd5c6ed95e469505d0eeb9adb101a30 +lib/codeql/swift/generated/pattern/TuplePattern.qll b3a138b0942f7e3eecb52ad2f095584a6cd5f555e9487c6eaad6a5527ae99f0c d6ff67ecc7395571acef4b82da514cb737c72d97ea557d89da534469feda340c +lib/codeql/swift/generated/pattern/TypedPattern.qll 95185ae7acddb74ac68f2d2e31d83e64e3bac3fdbd7a8301a6dc8bb1d89d7918 5d6edf73b4ac2f81843fda26894f5dbf8aa2a7c129af5e1a3256370683fa619c +lib/codeql/swift/generated/stmt/BraceStmt.qll 15461198f638b8995687ad8a20ef47c8fac24445a8c28ea5113bbaabe43e4be3 72fa14dbb9cd31032a5f35754991beb6183c2ef37f942707dbfc8911687d8c6e +lib/codeql/swift/generated/stmt/BreakStmt.qll 7dca1ed723117cc245636c7ec5f31a69dbbb228eae2f6423ffa1f327f964d1c8 43052e648b31c6edf88c28fc8aa0ec440601c06776d5a32e7ef1efbb59f64cf2 +lib/codeql/swift/generated/stmt/CaseLabelItem.qll d04772471f1651c0f3c15cb7fa003431b2a51bbffa945a14ae85bb3e58015249 406b2d411a1aa3a513f93e9602ce34138bd47d84a8c5b9fc226ed3e0c972ae08 +lib/codeql/swift/generated/stmt/CaseStmt.qll 01b7cb7fe5839c02fec5af4ddc9d6c7646583305e17543f1e5a6993b8467c3cd 62ab05c856c1a567aa7aaa04390fee9cd65d44ad3e244a1f781e97710b89653d +lib/codeql/swift/generated/stmt/ConditionElement.qll 2f60c9326681613939b411d9c5e53e0e0e5cf756b551af4e150b8be964d8e05d 4155edf57ccc61b87f5d51684e57c06cd0bc6733579275f089de51975546eab1 +lib/codeql/swift/generated/stmt/ContinueStmt.qll 572747312c2a7c4e6ad1c82c58f8ac55ce05d5e1f828160fe139c3d2c100eb61 a54d57cc434f7d04412bf130391e9c571f8f11f90be501d736e96f341b0c1de9 +lib/codeql/swift/generated/stmt/DeferStmt.qll 099b98183d770608f63ee09b290e71042e4cbbbc6a83b0f0fa10614af418c712 d5504347c08ab2b4764d5cb03a3b590a97144240d68f626db0778697ef9638c1 +lib/codeql/swift/generated/stmt/DoCatchStmt.qll 4a05ba358b289c052f1e7d6b86dae206e91a8033687c3fabddac1556173a8140 8743746aeb98f28e7786233db4a9eacfcf73aea3f602be9e1f8c0d956d22aeb1 +lib/codeql/swift/generated/stmt/DoStmt.qll b22efabd7431e703ae33dd1df69a9e3ceb49f512ab2c46be9c7eba2d53a1e37f 8d7796e2b4676da59aa8425014a16b82ef47d4ac22af60a10c5076a691af17d1 lib/codeql/swift/generated/stmt/FailStmt.qll d8f5816c51c5027fd6dacc8d9f5ddd21f691c138dfc80c6c79e250402a1fe165 d8f5816c51c5027fd6dacc8d9f5ddd21f691c138dfc80c6c79e250402a1fe165 -lib/codeql/swift/generated/stmt/FallthroughStmt.qll 1bcf5fe7a3709a9893896668da1ee4209e1ec3bf73f861241dc586cc6d43a334 ffd433d93fbfd3b82c3c46f22bed57da4493b72b4194db9b55c1142f51bdaab2 -lib/codeql/swift/generated/stmt/ForEachStmt.qll 1e08c898b8421577679fcaf6518947c6db270e90ee1cc8b80390b4c0f0d73f13 59e02adf04c9c92d07e220372ba60da4bc031dd39f98252d2693c406434a56c6 -lib/codeql/swift/generated/stmt/GuardStmt.qll 216d6f7ee2fbc32771c77251ea8c13f5bc80d372115285b35cac14a413fee543 ba0c7911a26f5c06f0a0f7004d40e1e7a218ac73a8861188502f048913fe3102 -lib/codeql/swift/generated/stmt/IfStmt.qll 0e4d8aaf6d2c05f34b1c2b048024d1708b64e8fa8e638b89e48a0bee7a143d92 bcc6a0dc5f49e631d7983bb438981a63f48231f8226fd66f2e4818c5462ec494 -lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll 1c492adc4a997c029b587c06fc312ddd799e2bc589fa617b985fd3a716d7d120 8792991987453ff8f96df92d4e137fdbb8f3ca446cacb63b6f0bb035094e20de +lib/codeql/swift/generated/stmt/FallthroughStmt.qll 0f5caceabd3f683914cd598c60e78f0c225a06b017784182e9bf1525ebf4eff8 fe328559e580ebcd38aac3b6402f1a40cd1c922e92b52456b18e79e6e241d7b4 +lib/codeql/swift/generated/stmt/ForEachStmt.qll 105f4905d2c9b832b01dabfc87a90294886ed867be119c83b1af779b61cca8c3 8aeae81570d9444f16e0335ac2d1b8645dc37e2b6b30ccdfeeda77b0d3c8af14 +lib/codeql/swift/generated/stmt/GuardStmt.qll 135faa385310d9398db6630c799ee57da6e5546e8ae09190b0aab8397c330c57 eb98434209466449d82dd75049850aa3d550f2c0d2b6e0a70f2ee8d2dae4d830 +lib/codeql/swift/generated/stmt/IfStmt.qll a01212a13060f36b0c5ff29a18aa64a450662b284d37d8cff10ce648507684b2 05e9617901b871d59fa9f08f3397aac7ebe7026ae482e316e591c2622ba64a2f +lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll 2865e39a960ec4f610cccc6cb93ecf2b3ef457fb4c3acb961ffcf84ed9c1f33e cb8b7f16520ead1299d898ccd22efb89a74e9b3d658fdb613af0797b60d80bb7 lib/codeql/swift/generated/stmt/LabeledStmt.qll 734f0bb5b40d72c3c949a08af15c01b3ae3a3e315f3196f75da27e03a2635d63 f1fbea28c7eef71135e60e144714b1027d71f07ccfabbb65d6a98aa89523720e -lib/codeql/swift/generated/stmt/PoundAssertStmt.qll 72b60c1425b8b0be7542a4384c57d01d5299df53374bd69687958a7e01f5d6ad ed12106bc03ea1bb87d7c85fd8af7fddbac132258ac1c309e66120948e50fa46 -lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll 0812bbb3290d3ab86f9f4c628beee5e7a2487bf04f2b643191de40a3cf921a7e 8d36e0121fe856c48dd60c89c9cab695eee6deeca0ed1abd116d437363ca59b2 -lib/codeql/swift/generated/stmt/ReturnStmt.qll 998454a234ac299de03567e40c46db9606d141ca67a49ebdaf7a8fa2048c5963 a739f1281771ed038e4db6ea5864a722daee53cf6747bf820a11811dc3a775b2 +lib/codeql/swift/generated/stmt/PoundAssertStmt.qll d672d599679838fb9fcc7e9e3b4641a7d514ee35d94f9eaa9d56f1e893d57863 7ca6f2571015c105887b4c045c2305a05ad86813cf5fcf28b577efcc3d483717 +lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll e9a4ac23dafb18a2bc23a045eb7ed8a96193600071d46351474ae899f7e24f7d 8bdfd1e1c75b95ba156dc0c90b5fcc185b0bee84feb144c7dc1b5f159703c79a +lib/codeql/swift/generated/stmt/ReturnStmt.qll c27a59f427f39d6eaebc96c6d975480be535945572e5a88ab961c34ef166df1a 269912d84e69f97348ea2cf46ab38d08cf92b7fc6bf6255e649a64580bf171ad lib/codeql/swift/generated/stmt/Stmt.qll b2a4f3712e3575321a4bc65d31b9eb8ddcd2d20af9863f3b9240e78e4b32ccff e0fc13b3af867aa53b21f58a5be1b7d1333b3e8543a4d214a346468f783dbf40 -lib/codeql/swift/generated/stmt/StmtCondition.qll bb09bfc45e09406f952e690822435a9fef34468b7c43d768e7da3332a0e68f0e 7db513d3f8122d853876fc9eb6ff29131cc4a8109a63c6e775f1eb393fdb79ec -lib/codeql/swift/generated/stmt/SwitchStmt.qll 0161e9939c72c0b5356b237b342742d3069d3bdeb94324ee428b86d6f2a86161 557c727ee44d5869b4575b6c6016a2992e8495de02e62aca0b4662ee64f89858 -lib/codeql/swift/generated/stmt/ThrowStmt.qll 595094c0acd0edea5296d792eeb4740ccd76e14a8b2b0863bb5156419a33884a be467040909e89efb663b2337a89c42d7cb23a37ae1f010eeef14b83fcb5bc49 -lib/codeql/swift/generated/stmt/WhileStmt.qll f52eabcf852685bee2d8eb8cf742418a2b8c2d77f2e1a15f00619667dd05f31a 74d8b48f0a41340cea5d0a183924df85743cce1ff9490705903800d66ab45ed2 -lib/codeql/swift/generated/stmt/YieldStmt.qll 5c413b0ca17b4ce725f25198f9185cd8f991c0b05dd09c0c4f6a2eb1e8da5b7d e1175d882552eadf368525480945e43ec09f85cb92505fa98bb62b62b275a277 +lib/codeql/swift/generated/stmt/StmtCondition.qll 3a9b82fc0776c1693c620fd96b3dbf94052ca0a2134ea4c9c83e51a1df6accad d2f809dd6820aa05c1630cd09ca12f22f94698155661aecd5d3837e340354ff2 +lib/codeql/swift/generated/stmt/SwitchStmt.qll 2e43f3eb536bb8924311d2fe84b2b21f712875caeaa8c4b13047b782c06ae453 ff72f4a01c3d7d227a28481d5a95b0858c15619067dd159332693af05fd0f146 +lib/codeql/swift/generated/stmt/ThrowStmt.qll c6f419f7d7021061a913fd70e64e43d55efe4350f73a21921cbd0654fabfa928 b76d221ad122710050651a62efb92b318d48109ec5326971c66cf9876dde9e14 +lib/codeql/swift/generated/stmt/WhileStmt.qll 550fef68aa3e81fcc615a296fabeacacef7648fe8e0316daef8a2767654f3020 5a60c959f042ebd9142b26432ad905cc2079664568d1b0bdf22085d4a24a92b9 +lib/codeql/swift/generated/stmt/YieldStmt.qll 5b0a6e0a656f9db4095d128c3e7d6bf1265ff218045ad91bd0699097c6c3cce7 45f54dbd94af7c2ab7e53858a7c3389636726d3d5fb45b876b5daad1896d1305 lib/codeql/swift/generated/type/AnyBuiltinIntegerType.qll a263451163e027c4c4223ec288e090b7e0d399cc46eb962013342bfeac5f6b86 d850ec1ee1902945b172ddd0ecd8884e399e963f939c04bc8bfaadacebdf55a9 -lib/codeql/swift/generated/type/AnyFunctionType.qll 2d600cb27bc3c5d0f5c912b526c5b0d25364c35e5bdcfdf7d6ef78b9920197f1 4635de4c1dd484355e78adf4c939730814357e4d42e2cb34ceab1f31ad9926f8 -lib/codeql/swift/generated/type/AnyGenericType.qll 1f1036efc8622f18498315269a9be10a4f317ea95b89f7d0c00f4ddfb6a24db0 6a89e625a12aefde2720adea7bd583e958cde94a8935310e9f4d3c86b1b32bab +lib/codeql/swift/generated/type/AnyFunctionType.qll ecd701702fc4f5a2205208faad7598f3083028914e72aacdaa6311f522468352 342e2265f0593c3f388a7f293b589f332c977d7863d697901445d68f0b93a222 +lib/codeql/swift/generated/type/AnyGenericType.qll a6da9ae1024bdafa244f3f5843fe16efe06f5d8e7305c5712f6b9ff409347427 11694abc90753c3f1a27e4745919f851334e0b79eb576831403c7866014b64aa lib/codeql/swift/generated/type/AnyMetatypeType.qll 6805a6895e748e02502105d844b66fab5111dbb0d727534d305a0396dacc9465 58e0794b8d6dccd9809f5b83bf64b162e69f3f84b5f3161b88aed10f16a8ede8 -lib/codeql/swift/generated/type/ArchetypeType.qll 7ffb3764ff5a36224eada35c0acb812b479d05ef607fe5aa70f909a0e803b162 b6e252370190590d62b622d36a02485c2113fb142573e4de6b28db73c535f4a0 +lib/codeql/swift/generated/type/ArchetypeType.qll 2642f841dac57a4c2447ceb5c3a42bf9e59bdb426556307dae863bd4009950e0 e7136d1929951d7dc928d0ebab99aca84eee8bf71aad86f480c4820da26adec0 lib/codeql/swift/generated/type/ArraySliceType.qll 72d0409e2704e89ebca364ae28d55c874152f55dd1deaac6c954617f6566f3c2 72d0409e2704e89ebca364ae28d55c874152f55dd1deaac6c954617f6566f3c2 lib/codeql/swift/generated/type/BoundGenericClassType.qll c82971dcd306a4cbc6bb885ae300556717eb2d068066b7752a36480e5eb14b5f c82971dcd306a4cbc6bb885ae300556717eb2d068066b7752a36480e5eb14b5f lib/codeql/swift/generated/type/BoundGenericEnumType.qll 89fcee52adbe6c9b130eae45cf43b2a2c302e8812f8519ea885e5d41dec3ec56 89fcee52adbe6c9b130eae45cf43b2a2c302e8812f8519ea885e5d41dec3ec56 lib/codeql/swift/generated/type/BoundGenericStructType.qll ff24933889dcc9579fe9a52bd5992b6ecd7b7a7b59c4b1005734e5cd367c8ed6 ff24933889dcc9579fe9a52bd5992b6ecd7b7a7b59c4b1005734e5cd367c8ed6 -lib/codeql/swift/generated/type/BoundGenericType.qll 5ae2dc86a61329b4145293d9c4f2f2aa4e8d85c5a07b16d1c6500a8154642666 e0eacd682988e8074e036cd50b2ad92fc974bb01aac9155d9d1da2f97966dee5 +lib/codeql/swift/generated/type/BoundGenericType.qll 56e7b3679ebf4c862ff5357e5ae7015893a1c68841239e1afa27904e6f585edd 78ff80f3c3f0fb79c6bd644b1504bd17a607a898853a93fa079d2ae6145914a4 lib/codeql/swift/generated/type/BuiltinBridgeObjectType.qll 848291382ac6bd7cf5dd6707418d4881ec9750ca8e345f7eff9e358715c11264 848291382ac6bd7cf5dd6707418d4881ec9750ca8e345f7eff9e358715c11264 lib/codeql/swift/generated/type/BuiltinDefaultActorStorageType.qll 54e981860527a18660c9c76da60b14fa6dd3dae0441490ed7eb47d36f1190d8b 54e981860527a18660c9c76da60b14fa6dd3dae0441490ed7eb47d36f1190d8b lib/codeql/swift/generated/type/BuiltinExecutorType.qll 149642b70b123bcffb0a235ca0fca21a667939fe17cdae62fee09a54dca3e6be 149642b70b123bcffb0a235ca0fca21a667939fe17cdae62fee09a54dca3e6be @@ -616,40 +616,40 @@ lib/codeql/swift/generated/type/BuiltinType.qll 0f90f2fd18b67edf20712ff51484afd5 lib/codeql/swift/generated/type/BuiltinUnsafeValueBufferType.qll d569e7c255de5e87bb0eb68ae5e7fea011121e01b2868007485af91da7417cd6 d569e7c255de5e87bb0eb68ae5e7fea011121e01b2868007485af91da7417cd6 lib/codeql/swift/generated/type/BuiltinVectorType.qll f51ce577abec2a1de3ae77a5cd9719aa4a1a6f3f5ec492c7444e410fb1de802a f51ce577abec2a1de3ae77a5cd9719aa4a1a6f3f5ec492c7444e410fb1de802a lib/codeql/swift/generated/type/ClassType.qll b52f0383d3dcbf7cf56d0b143cbb63783cb5fa319bcbfc4754e362d935e0fb53 b52f0383d3dcbf7cf56d0b143cbb63783cb5fa319bcbfc4754e362d935e0fb53 -lib/codeql/swift/generated/type/DependentMemberType.qll 8c431d869db76224a7ad9e23a4c1ce472929d12d1efb3bd2dacab5fc067540c1 7df0ee16d1f1ffe0a146b20d58ed62d4275a75e238b5c19f9d3d213552485a99 -lib/codeql/swift/generated/type/DictionaryType.qll 238c55ea5833fe5b13770cd8dc622f530b6c3e464168a3d8c456becb2f6db094 d16f05962d94085a8adbeb6a0b6287009c99bd9b4042b22e4d0488bb0b6c5d3d -lib/codeql/swift/generated/type/DynamicSelfType.qll ced4642aeb0f9f2a18284aa342a9d69b7b430db4ad307d55c6bbc864bbc3a029 db6569add6655e066ccef10a9df6394f91aec04924c907c156664aabe8188f8f +lib/codeql/swift/generated/type/DependentMemberType.qll 0596086099ef55db0647b436e4d4ad6482496e8d491b6497e31b6f4ecdafe5d0 2de600fd4ac4739afdf4cd84822da467d195c7cc6d7099fe7ac446eae147979d +lib/codeql/swift/generated/type/DictionaryType.qll 1a30cd9815e9162cbf07d193a35d834837f8b8aa8ab936ea8c4400ea66181937 d4100b99422db8b81632cd86144c316ed8504616df742223cb6cde1211704d14 +lib/codeql/swift/generated/type/DynamicSelfType.qll 331e731ce6ebf8e4b152efcbfbebe35d506c03633dab75483ae660f967259c58 4066ab0cd3c768fe25aba0d2ddaa4e394070f97dbe77b375c6fd39447eef8fd9 lib/codeql/swift/generated/type/EnumType.qll dcf653c7ee2e76882d9f415fbbc208905b8d8ed68cc32e36c0439a9205e65b35 dcf653c7ee2e76882d9f415fbbc208905b8d8ed68cc32e36c0439a9205e65b35 lib/codeql/swift/generated/type/ErrorType.qll cbc17f4d9977268b2ff0f8a517ca898978af869d97310b6c88519ff8d07efff3 cbc17f4d9977268b2ff0f8a517ca898978af869d97310b6c88519ff8d07efff3 lib/codeql/swift/generated/type/ExistentialMetatypeType.qll 3a7fd0829381fe4d3768d4c6b0b1257f8386be6c59a73458f68387f66ea23e05 3a7fd0829381fe4d3768d4c6b0b1257f8386be6c59a73458f68387f66ea23e05 -lib/codeql/swift/generated/type/ExistentialType.qll c8ef7c7a14629a437865d80a38c2286421d801c4b22cd7d5ca8459cf17611035 ac0cfd3de4da401f7077b6e6b5ab40dd8715cbe442078d7a1d071ae21ab992cf +lib/codeql/swift/generated/type/ExistentialType.qll 1a5ba5e970d7ca5d83fe11839fcf0b4e7b62b2ccd993430d9ac269d811ff8c66 70bfbbe99df209bf1a2d1d7c02b322fbd1f5372d6f7bfd41983f6564a159e5c6 lib/codeql/swift/generated/type/FunctionType.qll 36e1de86e127d2fb1b0a3a7abce68422bdf55a3ab207e2df03ea0a861ab5ccb4 36e1de86e127d2fb1b0a3a7abce68422bdf55a3ab207e2df03ea0a861ab5ccb4 -lib/codeql/swift/generated/type/GenericFunctionType.qll ed1fe0390a798daf1032fc3b8777120b81f899aeac50d8b7cdbbb7a1b604e0a6 ec43604910433f24f6dbd2e00d183c24d75eab1d2e6b280991410a403eea05b7 +lib/codeql/swift/generated/type/GenericFunctionType.qll 2a7f0f1d14bb81d2383ebf78cdaa2c3623bb030705697d3b9bae2bf919ca679c a63ce85b97ce47c5dda3ab34541f5e8e7402b345e75059af9afcfd1dd639ace6 lib/codeql/swift/generated/type/GenericTypeParamType.qll f515debe8b21f3ea6551e4f8513cda14c3a5ed0cebd4cbfd3b533ff6f0e8b0bf f515debe8b21f3ea6551e4f8513cda14c3a5ed0cebd4cbfd3b533ff6f0e8b0bf -lib/codeql/swift/generated/type/InOutType.qll 8573d9daaaea7db4ef5faa82a92556226ef533a0c96dac6edf620ab2d6984007 81804eb58118c43251f0b3e19502e58a92f1ef46960178d47b764688659b36d1 -lib/codeql/swift/generated/type/LValueType.qll 05fa3d818ecaf3451751de5cf8af5b059b161d554bc2e2d05ca1922acfbb6290 e0836743c36c8db9eb3dd513ca41247284ce0bf1cbd9fb0d974e9ca32de8c0c3 +lib/codeql/swift/generated/type/InOutType.qll 93906f54e2e109a8e83bf10665a9cfb518b96c6f8d8ea50e8d994a2802082e61 1cdf37ee0a2785e1a3298022f0d9aa8e9bce38e8d7268d631bb6544bdf07e636 +lib/codeql/swift/generated/type/LValueType.qll ed2c9347139582c311b6ae58a26fd4462cdcd4ec1f1d0ea3c9967d0bec54683c d027432cc73850731f33b1aaf7e2aa57d97ed7e3171de3dc53902e6ed7e38b46 lib/codeql/swift/generated/type/MetatypeType.qll cd752f81257820f74c1f5c016e19bdc9b0f8ff8ddcc231daa68061a85c4b38e2 cd752f81257820f74c1f5c016e19bdc9b0f8ff8ddcc231daa68061a85c4b38e2 -lib/codeql/swift/generated/type/ModuleType.qll be1174e3338243da3dd88d6795a6c1ed26634e86a6b11c26d9ce2f1b18f010f5 691a1449e2b0c3a4130e867f003f996b8c089718c69d14cf08d843fb8a2b0dfd +lib/codeql/swift/generated/type/ModuleType.qll 46178692ceeda03ded0af1ab96af9e3ef4ba426e7345a0e2abfc6b35eebd9fc1 135549ca669d27c737159cc8327963879c11e32177a3b72d2076decb0927c475 lib/codeql/swift/generated/type/NominalOrBoundGenericNominalType.qll 27d87dc4792b7f46fa1b708aadecef742ab2a78b23d4eb28ce392da49766122f 380b827d026202cbfcd825e975ebbdf8f53784a0426ce5454cb1b43cc42dfe16 lib/codeql/swift/generated/type/NominalType.qll f7e85d544eaaa259c727b8b4ba691578861d15612a134d19936a20943270b629 87472017a129921d2af9d380f69c293f4deba788e7660b0fe085a455e76562e8 -lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll 333a669f84d5ac7ff276ecb931badae1291336aff6516cbd15adbe5843128696 4151581915e3b4baae926c1c9e70df28db2f8374383c5c9c550cd6b24ec1cf62 +lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll 2126dd1e66b3b8fb4a2ac1808674f1c502cabe7cce11ecde407e78bbb1a1546e e78d3b63cc551a0dd284969c8ba6294466b1ddbcd17a0fdb745237a3793313ac lib/codeql/swift/generated/type/OpenedArchetypeType.qll ed97d3fb8810424643953a0d5ebd93e58d1b2e397ea01ccde0dcd8e68c41adb2 ed97d3fb8810424643953a0d5ebd93e58d1b2e397ea01ccde0dcd8e68c41adb2 lib/codeql/swift/generated/type/OptionalType.qll d99dd5ec5636cc6c3e0e52bf27d0d8bf8dfcff25739cd7e1b845f5d96b1a5ac9 d99dd5ec5636cc6c3e0e52bf27d0d8bf8dfcff25739cd7e1b845f5d96b1a5ac9 -lib/codeql/swift/generated/type/ParameterizedProtocolType.qll a2f76537bc90031afa3a05dfc7604f0ed95df0f30528fbbff958f401329bed02 04db40554b3017dce767bb66baacff0b94207d042074e9a3169a459c54ee949d -lib/codeql/swift/generated/type/ParenType.qll feb5db83beefda6bcc73c9189f55da245fff9865dd57bf2024ed84c53ebdeaf2 0fe92c0e93dc154f8b29c065d72bd4f3b816ecf72b7f2b2967a30ea5b911955a +lib/codeql/swift/generated/type/ParameterizedProtocolType.qll 5ec7f5d9412f071099a75e920dce686e3a3b3697d94f2b03d4456858060d31d1 9d8f3ae67ebe290102f6c3fc4bda14d66865b13a782fe9e80e3e2464da14f18e +lib/codeql/swift/generated/type/ParenType.qll 014c95c3b051e1b7717416602a77ca34d686ae3b58fc588070bf6c3ea3a46641 43b7d33bfa383d8ba0693fb9af69101161b7d7a94e5dd1f8ed5293803ee21d98 lib/codeql/swift/generated/type/PrimaryArchetypeType.qll 87279ab9a04415fcbcf825af0145b4fc7f118fc8ce57727b840cb18f7d203b59 87279ab9a04415fcbcf825af0145b4fc7f118fc8ce57727b840cb18f7d203b59 -lib/codeql/swift/generated/type/ProtocolCompositionType.qll 3c998689c48168854c242bfa4970eda63077887bfbbdc34445d26a8d034673e6 a23cd63570903fbc08eff90773fd00d6d979dc001038f118bb288c8b08d42d74 +lib/codeql/swift/generated/type/ProtocolCompositionType.qll 32426cb2d51c5cf63035afc499bccd1a18ac8a8bac254b4596c97d4006203cd0 5233766c0b00bcc8d64e1dd2d7cab87a26fb8c5e16d4310275ad67ff3b70f287 lib/codeql/swift/generated/type/ProtocolType.qll 07eb08216ca978c9565a7907ab3a932aa915041b6e7520bc421450b32070dbcf 07eb08216ca978c9565a7907ab3a932aa915041b6e7520bc421450b32070dbcf -lib/codeql/swift/generated/type/ReferenceStorageType.qll a2b02a158baaf30dce3e0884e18198f462bd3514d682405c436230c693b5b63c 9e76bc2338ce088237ab2dd784094133dc43a8e6c0f48eced9ae4b042e72666f +lib/codeql/swift/generated/type/ReferenceStorageType.qll 9924cd5694afe7c77692322edbd74d5b9c5635ecfc61b2a90f243b6616090cae ab17d08561524f74ac5f69696811012322c1b2595f60ae72357bba8102b78b89 lib/codeql/swift/generated/type/StructType.qll 5681060ec1cb83be082c4d5d521cdfc1c48a4095b56415efc03de7f960d1fa04 5681060ec1cb83be082c4d5d521cdfc1c48a4095b56415efc03de7f960d1fa04 lib/codeql/swift/generated/type/SubstitutableType.qll 9e74ec2d281cd3dedbc5791d66a820a56e0387260f7b2d30a5875dc3f5883389 619f0e4d509bdd9e8cfc061e5627762e9cbae8779bec998564556894a475f9d8 lib/codeql/swift/generated/type/SugarType.qll 4ea82201ae20e769c0c3e6e158bae86493e1b16bbd3ef6495e2a3760baa1fc6b 6c78df86db6f9c70398484819a9b9ecc8ee337b0a4ac2d84e17294951a6fd788 lib/codeql/swift/generated/type/SyntaxSugarType.qll 253e036452e0ba8ae3bb60d6ed22f4efb8436f4ef19f158f1114a6f9a14df42c 743fe4dede40ca173b19d5757d14e0f606fe36f51119445503e8eea7cf6df3b0 -lib/codeql/swift/generated/type/TupleType.qll 2fe4b458d59ff834342d07f05340ca549b5da1a167979efbc38a16027efec1de a138e943a431cebf259391dbe5ea196c1f9fcc9ace8f498ad84adfc442526890 -lib/codeql/swift/generated/type/Type.qll 5f87d805a35cffdd48e5b5357d52aeb664962f6e011ee1c22c598cfa8073a6b4 2f33629856f0a8771ed8400031041fbc12d47db26d43e9929720069671b0d024 -lib/codeql/swift/generated/type/TypeAliasType.qll 30053601cbbd7dff041770b947af9c45309d081ff9afc1dec8e0eeb099e190c0 a15258e88ec9ab06b58626f53cfa0ce2a75207b8c27c830f08a738c56e5b7d71 -lib/codeql/swift/generated/type/TypeRepr.qll 517eee0844c01aea497a0c9933cbd8930a915456cd7084b9e09aefd5a109942a 60b98da8fd689ce38aed88b88d98a536cc662b09420f130fa93d1b76cb4717ea -lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll a31bf4cd364a3015ab21d47447a6f111633284e64eeaa6d6a51c38e15cc569ae 0bfcfb6397c608c908c6df34bfd32f678f95dbe16bc9dab266bbac924dbde9e1 +lib/codeql/swift/generated/type/TupleType.qll af224031c3bea6dfca6138903cca940a4f00ba6494ad7b591b9f017d69ee9a6c f59ad1bb4994196ec49836ae169e550a70dbb25a359ff889ed6456882fe2d9a0 +lib/codeql/swift/generated/type/Type.qll c08acc943c9b52662a465d77fcd39d12f869c42b24a3755225b3bddbb1cf72f5 6d82c5bddded75fd5598bb559ecfa07360ad802d5e9541af2c334dc9d0159335 +lib/codeql/swift/generated/type/TypeAliasType.qll 1c7b7d66f277907d04462712ff5271b84987656351da8e486d718b8d138ef545 2dc20e1fd98bee6a8e5b35cf7a048716b2b6d2e5ba6610ecc4f7f667da930885 +lib/codeql/swift/generated/type/TypeRepr.qll bb78cc2265734d8ecbd32ca85e38c853e9f35569aaf4dc8353d20471b3559c3d c2abc1d161590cbdc4cac7e147e114f8a28ba5f6405dba7ead51abe85991505d +lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll 6f3822691d04531cc1dd6a78fb184f3e18d42ee324123dc4338fdd368fbd0bd6 d489aac77955de0d71fd5c271fddccd40050db4ef8ce8d817320ca9554057c3a lib/codeql/swift/generated/type/UnboundGenericType.qll 43549cbdaaa05c3c6e3d6757aca7c549b67f3c1f7d7f0a987121de0c80567a78 43549cbdaaa05c3c6e3d6757aca7c549b67f3c1f7d7f0a987121de0c80567a78 lib/codeql/swift/generated/type/UnmanagedStorageType.qll 198727a7c9557a0a92c6d833768086f0a0a18c546b4bfd486d7ff7ad5677a6aa 198727a7c9557a0a92c6d833768086f0a0a18c546b4bfd486d7ff7ad5677a6aa lib/codeql/swift/generated/type/UnownedStorageType.qll 062fd6e902ecbde78a7b8a6d80029731ffb7b4ca741fdc1573c19dd373b6df8e 062fd6e902ecbde78a7b8a6d80029731ffb7b4ca741fdc1573c19dd373b6df8e diff --git a/swift/ql/lib/codeql/swift/generated/AvailabilityInfo.qll b/swift/ql/lib/codeql/swift/generated/AvailabilityInfo.qll index 81272633cf3..c0c7ec1ad00 100644 --- a/swift/ql/lib/codeql/swift/generated/AvailabilityInfo.qll +++ b/swift/ql/lib/codeql/swift/generated/AvailabilityInfo.qll @@ -46,7 +46,12 @@ module Generated { /** * Gets the `index`th spec of this availability info (0-based). */ - final AvailabilitySpec getSpec(int index) { result = this.getImmediateSpec(index).resolve() } + final AvailabilitySpec getSpec(int index) { + exists(AvailabilitySpec immediate | + immediate = this.getImmediateSpec(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the specs of this availability info. diff --git a/swift/ql/lib/codeql/swift/generated/Callable.qll b/swift/ql/lib/codeql/swift/generated/Callable.qll index a4630527102..db03af1dbd0 100644 --- a/swift/ql/lib/codeql/swift/generated/Callable.qll +++ b/swift/ql/lib/codeql/swift/generated/Callable.qll @@ -34,7 +34,12 @@ module Generated { /** * Gets the self parameter of this callable, if it exists. */ - final ParamDecl getSelfParam() { result = this.getImmediateSelfParam().resolve() } + final ParamDecl getSelfParam() { + exists(ParamDecl immediate | + immediate = this.getImmediateSelfParam() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getSelfParam()` exists. @@ -57,7 +62,12 @@ module Generated { /** * Gets the `index`th parameter of this callable (0-based). */ - final ParamDecl getParam(int index) { result = this.getImmediateParam(index).resolve() } + final ParamDecl getParam(int index) { + exists(ParamDecl immediate | + immediate = this.getImmediateParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the parameters of this callable. @@ -85,7 +95,12 @@ module Generated { * * The body is absent within protocol declarations. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getBody()` exists. @@ -108,7 +123,12 @@ module Generated { /** * Gets the `index`th capture of this callable (0-based). */ - final CapturedDecl getCapture(int index) { result = this.getImmediateCapture(index).resolve() } + final CapturedDecl getCapture(int index) { + exists(CapturedDecl immediate | + immediate = this.getImmediateCapture(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the captures of this callable. diff --git a/swift/ql/lib/codeql/swift/generated/KeyPathComponent.qll b/swift/ql/lib/codeql/swift/generated/KeyPathComponent.qll index 2f900dd5b0d..a6b48cc2e0c 100644 --- a/swift/ql/lib/codeql/swift/generated/KeyPathComponent.qll +++ b/swift/ql/lib/codeql/swift/generated/KeyPathComponent.qll @@ -47,7 +47,10 @@ module Generated { * Gets the `index`th argument to an array or dictionary subscript expression (0-based). */ final Argument getSubscriptArgument(int index) { - result = this.getImmediateSubscriptArgument(index).resolve() + exists(Argument immediate | + immediate = this.getImmediateSubscriptArgument(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -90,7 +93,12 @@ module Generated { /** * Gets the property or subscript operator, if it exists. */ - final ValueDecl getDeclRef() { result = this.getImmediateDeclRef().resolve() } + final ValueDecl getDeclRef() { + exists(ValueDecl immediate | + immediate = this.getImmediateDeclRef() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getDeclRef()` exists. @@ -117,6 +125,11 @@ module Generated { * path; an optional-wrapping component is inserted if required to produce an optional type * as the final output. */ - final Type getComponentType() { result = this.getImmediateComponentType().resolve() } + final Type getComponentType() { + exists(Type immediate | + immediate = this.getImmediateComponentType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/Locatable.qll b/swift/ql/lib/codeql/swift/generated/Locatable.qll index 71844b62f32..bb8b832a6af 100644 --- a/swift/ql/lib/codeql/swift/generated/Locatable.qll +++ b/swift/ql/lib/codeql/swift/generated/Locatable.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the location associated with this element in the code, if it exists. */ - final Location getLocation() { result = this.getImmediateLocation().resolve() } + final Location getLocation() { + exists(Location immediate | + immediate = this.getImmediateLocation() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getLocation()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/Location.qll b/swift/ql/lib/codeql/swift/generated/Location.qll index 795342f0dbd..9cdbd95fe8d 100644 --- a/swift/ql/lib/codeql/swift/generated/Location.qll +++ b/swift/ql/lib/codeql/swift/generated/Location.qll @@ -20,7 +20,12 @@ module Generated { /** * Gets the file of this location. */ - final File getFile() { result = this.getImmediateFile().resolve() } + final File getFile() { + exists(File immediate | + immediate = this.getImmediateFile() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the start line of this location. diff --git a/swift/ql/lib/codeql/swift/generated/ParentChild.qll b/swift/ql/lib/codeql/swift/generated/ParentChild.qll index 270a7398843..09c48606353 100644 --- a/swift/ql/lib/codeql/swift/generated/ParentChild.qll +++ b/swift/ql/lib/codeql/swift/generated/ParentChild.qll @@ -5317,7 +5317,7 @@ Element getImmediateParent(Element e) { Element getImmediateChildAndAccessor(Element e, int index, string accessor) { exists(string partialAccessor | result = Impl::getImmediateChild(e, index, partialAccessor) and - accessor = "getImmediate" + partialAccessor + accessor = "get" + partialAccessor ) } diff --git a/swift/ql/lib/codeql/swift/generated/UnspecifiedElement.qll b/swift/ql/lib/codeql/swift/generated/UnspecifiedElement.qll index 5a073db5f6f..f2f78d9cafc 100644 --- a/swift/ql/lib/codeql/swift/generated/UnspecifiedElement.qll +++ b/swift/ql/lib/codeql/swift/generated/UnspecifiedElement.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the parent of this unspecified element, if it exists. */ - final Element getParent() { result = this.getImmediateParent().resolve() } + final Element getParent() { + exists(Element immediate | + immediate = this.getImmediateParent() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getParent()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/decl/AbstractStorageDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/AbstractStorageDecl.qll index 6414b9c0e13..0ecb0836313 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/AbstractStorageDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/AbstractStorageDecl.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the `index`th accessor of this abstract storage declaration (0-based). */ - final Accessor getAccessor(int index) { result = this.getImmediateAccessor(index).resolve() } + final Accessor getAccessor(int index) { + exists(Accessor immediate | + immediate = this.getImmediateAccessor(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the accessors of this abstract storage declaration. diff --git a/swift/ql/lib/codeql/swift/generated/decl/CapturedDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/CapturedDecl.qll index 30c61e82e95..9749202fec3 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/CapturedDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/CapturedDecl.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the the declaration captured by the parent closure. */ - final ValueDecl getDecl() { result = this.getImmediateDecl().resolve() } + final ValueDecl getDecl() { + exists(ValueDecl immediate | + immediate = this.getImmediateDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if this captured declaration is direct. diff --git a/swift/ql/lib/codeql/swift/generated/decl/Decl.qll b/swift/ql/lib/codeql/swift/generated/decl/Decl.qll index 673de2cffee..33cb4ec46ca 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/Decl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/Decl.qll @@ -20,7 +20,12 @@ module Generated { /** * Gets the module of this declaration. */ - final ModuleDecl getModule() { result = this.getImmediateModule().resolve() } + final ModuleDecl getModule() { + exists(ModuleDecl immediate | + immediate = this.getImmediateModule() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th member of this declaration (0-based). @@ -35,7 +40,12 @@ module Generated { /** * Gets the `index`th member of this declaration (0-based). */ - final Decl getMember(int index) { result = this.getImmediateMember(index).resolve() } + final Decl getMember(int index) { + exists(Decl immediate | + immediate = this.getImmediateMember(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the members of this declaration. diff --git a/swift/ql/lib/codeql/swift/generated/decl/EnumCaseDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/EnumCaseDecl.qll index 8c9a925d66b..59834181269 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/EnumCaseDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/EnumCaseDecl.qll @@ -25,7 +25,10 @@ module Generated { * Gets the `index`th element of this enum case declaration (0-based). */ final EnumElementDecl getElement(int index) { - result = this.getImmediateElement(index).resolve() + exists(EnumElementDecl immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/EnumElementDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/EnumElementDecl.qll index 0ce7784ab4f..148124d0f8f 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/EnumElementDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/EnumElementDecl.qll @@ -31,7 +31,12 @@ module Generated { /** * Gets the `index`th parameter of this enum element declaration (0-based). */ - final ParamDecl getParam(int index) { result = this.getImmediateParam(index).resolve() } + final ParamDecl getParam(int index) { + exists(ParamDecl immediate | + immediate = this.getImmediateParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the parameters of this enum element declaration. diff --git a/swift/ql/lib/codeql/swift/generated/decl/ExtensionDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/ExtensionDecl.qll index 3a22aa27440..2863c3aca52 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/ExtensionDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/ExtensionDecl.qll @@ -27,7 +27,10 @@ module Generated { * Gets the extended type declaration of this extension declaration. */ final NominalTypeDecl getExtendedTypeDecl() { - result = this.getImmediateExtendedTypeDecl().resolve() + exists(NominalTypeDecl immediate | + immediate = this.getImmediateExtendedTypeDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -47,7 +50,10 @@ module Generated { * Gets the `index`th protocol of this extension declaration (0-based). */ final ProtocolDecl getProtocol(int index) { - result = this.getImmediateProtocol(index).resolve() + exists(ProtocolDecl immediate | + immediate = this.getImmediateProtocol(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/GenericContext.qll b/swift/ql/lib/codeql/swift/generated/decl/GenericContext.qll index bf5b32e554e..4855a60fa10 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/GenericContext.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/GenericContext.qll @@ -23,7 +23,10 @@ module Generated { * Gets the `index`th generic type parameter of this generic context (0-based). */ final GenericTypeParamDecl getGenericTypeParam(int index) { - result = this.getImmediateGenericTypeParam(index).resolve() + exists(GenericTypeParamDecl immediate | + immediate = this.getImmediateGenericTypeParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/IfConfigDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/IfConfigDecl.qll index a81b9a82b21..23c42ea9c6c 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/IfConfigDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/IfConfigDecl.qll @@ -25,7 +25,10 @@ module Generated { * Gets the `index`th active element of this if config declaration (0-based). */ final AstNode getActiveElement(int index) { - result = this.getImmediateActiveElement(index).resolve() + exists(AstNode immediate | + immediate = this.getImmediateActiveElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/ImportDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/ImportDecl.qll index 8e5e0354797..df928494a73 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/ImportDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/ImportDecl.qll @@ -30,7 +30,12 @@ module Generated { /** * Gets the imported module of this import declaration, if it exists. */ - final ModuleDecl getImportedModule() { result = this.getImmediateImportedModule().resolve() } + final ModuleDecl getImportedModule() { + exists(ModuleDecl immediate | + immediate = this.getImmediateImportedModule() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getImportedModule()` exists. @@ -54,7 +59,10 @@ module Generated { * Gets the `index`th declaration of this import declaration (0-based). */ final ValueDecl getDeclaration(int index) { - result = this.getImmediateDeclaration(index).resolve() + exists(ValueDecl immediate | + immediate = this.getImmediateDeclaration(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/InfixOperatorDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/InfixOperatorDecl.qll index 643ab3e3002..e9749c13355 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/InfixOperatorDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/InfixOperatorDecl.qll @@ -25,7 +25,10 @@ module Generated { * Gets the precedence group of this infix operator declaration, if it exists. */ final PrecedenceGroupDecl getPrecedenceGroup() { - result = this.getImmediatePrecedenceGroup().resolve() + exists(PrecedenceGroupDecl immediate | + immediate = this.getImmediatePrecedenceGroup() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/ModuleDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/ModuleDecl.qll index d01a14cb3e1..3fc71350932 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/ModuleDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/ModuleDecl.qll @@ -40,7 +40,10 @@ module Generated { *Gets any of the imported modules of this module declaration. */ final ModuleDecl getAnImportedModule() { - result = this.getAnImmediateImportedModule().resolve() + exists(ModuleDecl immediate | + immediate = this.getAnImmediateImportedModule() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -67,7 +70,10 @@ module Generated { *Gets any of the exported modules of this module declaration. */ final ModuleDecl getAnExportedModule() { - result = this.getAnImmediateExportedModule().resolve() + exists(ModuleDecl immediate | + immediate = this.getAnImmediateExportedModule() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/NominalTypeDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/NominalTypeDecl.qll index 56a21146f8c..b007e2b1b52 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/NominalTypeDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/NominalTypeDecl.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the type of this nominal type declaration. */ - final Type getType() { result = this.getImmediateType().resolve() } + final Type getType() { + exists(Type immediate | + immediate = this.getImmediateType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll index cccc2625b4c..33eaec9bc2e 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/OpaqueTypeDecl.qll @@ -37,7 +37,10 @@ module Generated { * Gets the naming declaration of this opaque type declaration. */ final ValueDecl getNamingDeclaration() { - result = this.getImmediateNamingDeclaration().resolve() + exists(ValueDecl immediate | + immediate = this.getImmediateNamingDeclaration() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -57,7 +60,10 @@ module Generated { * Gets the `index`th opaque generic parameter of this opaque type declaration (0-based). */ final GenericTypeParamType getOpaqueGenericParam(int index) { - result = this.getImmediateOpaqueGenericParam(index).resolve() + exists(GenericTypeParamType immediate | + immediate = this.getImmediateOpaqueGenericParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/ParamDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/ParamDecl.qll index 1844337b349..99f80d18772 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/ParamDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/ParamDecl.qll @@ -33,7 +33,10 @@ module Generated { * variable for this variable, if any. */ final PatternBindingDecl getPropertyWrapperLocalWrappedVarBinding() { - result = this.getImmediatePropertyWrapperLocalWrappedVarBinding().resolve() + exists(PatternBindingDecl immediate | + immediate = this.getImmediatePropertyWrapperLocalWrappedVarBinding() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -63,7 +66,10 @@ module Generated { * has a property wrapper. */ final VarDecl getPropertyWrapperLocalWrappedVar() { - result = this.getImmediatePropertyWrapperLocalWrappedVar().resolve() + exists(VarDecl immediate | + immediate = this.getImmediatePropertyWrapperLocalWrappedVar() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/decl/PatternBindingDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/PatternBindingDecl.qll index 61d9ba4ff24..00ca18b1185 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/PatternBindingDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/PatternBindingDecl.qll @@ -25,7 +25,12 @@ module Generated { /** * Gets the `index`th init of this pattern binding declaration (0-based), if it exists. */ - final Expr getInit(int index) { result = this.getImmediateInit(index).resolve() } + final Expr getInit(int index) { + exists(Expr immediate | + immediate = this.getImmediateInit(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getInit(index)` exists. @@ -53,7 +58,12 @@ module Generated { /** * Gets the `index`th pattern of this pattern binding declaration (0-based). */ - final Pattern getPattern(int index) { result = this.getImmediatePattern(index).resolve() } + final Pattern getPattern(int index) { + exists(Pattern immediate | + immediate = this.getImmediatePattern(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the patterns of this pattern binding declaration. diff --git a/swift/ql/lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll index 2fe8a6ad421..fe7cfaf701f 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll @@ -36,6 +36,11 @@ module Generated { /** * Gets the message of this pound diagnostic declaration. */ - final StringLiteralExpr getMessage() { result = this.getImmediateMessage().resolve() } + final StringLiteralExpr getMessage() { + exists(StringLiteralExpr immediate | + immediate = this.getImmediateMessage() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/SubscriptDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/SubscriptDecl.qll index 090693928be..a6fe783be42 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/SubscriptDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/SubscriptDecl.qll @@ -26,7 +26,12 @@ module Generated { /** * Gets the `index`th parameter of this subscript declaration (0-based). */ - final ParamDecl getParam(int index) { result = this.getImmediateParam(index).resolve() } + final ParamDecl getParam(int index) { + exists(ParamDecl immediate | + immediate = this.getImmediateParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the parameters of this subscript declaration. @@ -54,6 +59,11 @@ module Generated { /** * Gets the element type of this subscript declaration. */ - final Type getElementType() { result = this.getImmediateElementType().resolve() } + final Type getElementType() { + exists(Type immediate | + immediate = this.getImmediateElementType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll index 055c9c76f31..d53c5ec5e3f 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the body of this top level code declaration. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/TypeAliasDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/TypeAliasDecl.qll index 6f5bd013803..d0e7fa1164d 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/TypeAliasDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/TypeAliasDecl.qll @@ -35,6 +35,11 @@ module Generated { * typealias MyInt = Int * ``` */ - final Type getAliasedType() { result = this.getImmediateAliasedType().resolve() } + final Type getAliasedType() { + exists(Type immediate | + immediate = this.getImmediateAliasedType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/TypeDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/TypeDecl.qll index 3a16effd78f..7a70183bac1 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/TypeDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/TypeDecl.qll @@ -27,7 +27,12 @@ module Generated { /** * Gets the `index`th base type of this type declaration (0-based). */ - final Type getBaseType(int index) { result = this.getImmediateBaseType(index).resolve() } + final Type getBaseType(int index) { + exists(Type immediate | + immediate = this.getImmediateBaseType(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the base types of this type declaration. diff --git a/swift/ql/lib/codeql/swift/generated/decl/ValueDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/ValueDecl.qll index 8d1678a7a72..237d668eade 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/ValueDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/ValueDecl.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the interface type of this value declaration. */ - final Type getInterfaceType() { result = this.getImmediateInterfaceType().resolve() } + final Type getInterfaceType() { + exists(Type immediate | + immediate = this.getImmediateInterfaceType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/decl/VarDecl.qll b/swift/ql/lib/codeql/swift/generated/decl/VarDecl.qll index f0d6cc143c7..86f91c9d128 100644 --- a/swift/ql/lib/codeql/swift/generated/decl/VarDecl.qll +++ b/swift/ql/lib/codeql/swift/generated/decl/VarDecl.qll @@ -45,7 +45,12 @@ module Generated { /** * Gets the type of this variable declaration. */ - final Type getType() { result = this.getImmediateType().resolve() } + final Type getType() { + exists(Type immediate | + immediate = this.getImmediateType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the attached property wrapper type of this variable declaration, if it exists. @@ -64,7 +69,10 @@ module Generated { * Gets the attached property wrapper type of this variable declaration, if it exists. */ final Type getAttachedPropertyWrapperType() { - result = this.getImmediateAttachedPropertyWrapperType().resolve() + exists(Type immediate | + immediate = this.getImmediateAttachedPropertyWrapperType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -90,7 +98,12 @@ module Generated { /** * Gets the parent pattern of this variable declaration, if it exists. */ - final Pattern getParentPattern() { result = this.getImmediateParentPattern().resolve() } + final Pattern getParentPattern() { + exists(Pattern immediate | + immediate = this.getImmediateParentPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getParentPattern()` exists. @@ -113,7 +126,12 @@ module Generated { /** * Gets the parent initializer of this variable declaration, if it exists. */ - final Expr getParentInitializer() { result = this.getImmediateParentInitializer().resolve() } + final Expr getParentInitializer() { + exists(Expr immediate | + immediate = this.getImmediateParentInitializer() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getParentInitializer()` exists. @@ -140,7 +158,10 @@ module Generated { * variable, if any. See `getPropertyWrapperBackingVar`. */ final PatternBindingDecl getPropertyWrapperBackingVarBinding() { - result = this.getImmediatePropertyWrapperBackingVarBinding().resolve() + exists(PatternBindingDecl immediate | + immediate = this.getImmediatePropertyWrapperBackingVarBinding() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -183,7 +204,10 @@ module Generated { * This predicate returns such variable declaration. */ final VarDecl getPropertyWrapperBackingVar() { - result = this.getImmediatePropertyWrapperBackingVar().resolve() + exists(VarDecl immediate | + immediate = this.getImmediatePropertyWrapperBackingVar() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -211,7 +235,10 @@ module Generated { * variable, if any. See `getPropertyWrapperProjectionVar`. */ final PatternBindingDecl getPropertyWrapperProjectionVarBinding() { - result = this.getImmediatePropertyWrapperProjectionVarBinding().resolve() + exists(PatternBindingDecl immediate | + immediate = this.getImmediatePropertyWrapperProjectionVarBinding() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -260,7 +287,10 @@ module Generated { * This predicate returns such variable declaration. */ final VarDecl getPropertyWrapperProjectionVar() { - result = this.getImmediatePropertyWrapperProjectionVar().resolve() + exists(VarDecl immediate | + immediate = this.getImmediatePropertyWrapperProjectionVar() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/expr/AnyTryExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/AnyTryExpr.qll index 663ee79c515..29895af873e 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/AnyTryExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/AnyTryExpr.qll @@ -19,6 +19,11 @@ module Generated { /** * Gets the sub expression of this any try expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll index e57788e5f52..3ee26f38f89 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/AppliedPropertyWrapperExpr.qll @@ -41,7 +41,12 @@ module Generated { * * The value on which the wrapper is applied. */ - final Expr getValue() { result = this.getImmediateValue().resolve() } + final Expr getValue() { + exists(Expr immediate | + immediate = this.getImmediateValue() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the parameter declaration owning this wrapper application. @@ -59,6 +64,11 @@ module Generated { /** * Gets the parameter declaration owning this wrapper application. */ - final ParamDecl getParam() { result = this.getImmediateParam().resolve() } + final ParamDecl getParam() { + exists(ParamDecl immediate | + immediate = this.getImmediateParam() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ApplyExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ApplyExpr.qll index 08b2e204550..6529ca4882a 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ApplyExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ApplyExpr.qll @@ -20,7 +20,12 @@ module Generated { /** * Gets the function being applied. */ - final Expr getFunction() { result = this.getImmediateFunction().resolve() } + final Expr getFunction() { + exists(Expr immediate | + immediate = this.getImmediateFunction() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th argument passed to the applied function (0-based). @@ -38,7 +43,12 @@ module Generated { /** * Gets the `index`th argument passed to the applied function (0-based). */ - final Argument getArgument(int index) { result = this.getImmediateArgument(index).resolve() } + final Argument getArgument(int index) { + exists(Argument immediate | + immediate = this.getImmediateArgument(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the arguments passed to the applied function. diff --git a/swift/ql/lib/codeql/swift/generated/expr/Argument.qll b/swift/ql/lib/codeql/swift/generated/expr/Argument.qll index e3043e07420..3040a549ec9 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/Argument.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/Argument.qll @@ -27,6 +27,11 @@ module Generated { /** * Gets the expression of this argument. */ - final Expr getExpr() { result = this.getImmediateExpr().resolve() } + final Expr getExpr() { + exists(Expr immediate | + immediate = this.getImmediateExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ArrayExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ArrayExpr.qll index 5a74d70b841..a2e674ee2cf 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ArrayExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ArrayExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the `index`th element of this array expression (0-based). */ - final Expr getElement(int index) { result = this.getImmediateElement(index).resolve() } + final Expr getElement(int index) { + exists(Expr immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this array expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/AssignExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/AssignExpr.qll index 26a8f5dc936..3d9f1f55081 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/AssignExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/AssignExpr.qll @@ -21,7 +21,12 @@ module Generated { /** * Gets the dest of this assign expression. */ - final Expr getDest() { result = this.getImmediateDest().resolve() } + final Expr getDest() { + exists(Expr immediate | + immediate = this.getImmediateDest() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the source of this assign expression. @@ -37,6 +42,11 @@ module Generated { /** * Gets the source of this assign expression. */ - final Expr getSource() { result = this.getImmediateSource().resolve() } + final Expr getSource() { + exists(Expr immediate | + immediate = this.getImmediateSource() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/BindOptionalExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/BindOptionalExpr.qll index d827276d0b6..2b10e27595b 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/BindOptionalExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/BindOptionalExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub expression of this bind optional expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/CaptureListExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/CaptureListExpr.qll index 0e751537558..b3a6653ce77 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/CaptureListExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/CaptureListExpr.qll @@ -26,7 +26,10 @@ module Generated { * Gets the `index`th binding declaration of this capture list expression (0-based). */ final PatternBindingDecl getBindingDecl(int index) { - result = this.getImmediateBindingDecl(index).resolve() + exists(PatternBindingDecl immediate | + immediate = this.getImmediateBindingDecl(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -55,6 +58,11 @@ module Generated { /** * Gets the closure body of this capture list expression. */ - final ExplicitClosureExpr getClosureBody() { result = this.getImmediateClosureBody().resolve() } + final ExplicitClosureExpr getClosureBody() { + exists(ExplicitClosureExpr immediate | + immediate = this.getImmediateClosureBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/DeclRefExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/DeclRefExpr.qll index 89a9858bafd..6aa2c0522f5 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/DeclRefExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/DeclRefExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the declaration of this declaration reference expression. */ - final Decl getDecl() { result = this.getImmediateDecl().resolve() } + final Decl getDecl() { + exists(Decl immediate | + immediate = this.getImmediateDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th replacement type of this declaration reference expression (0-based). @@ -42,7 +47,10 @@ module Generated { * Gets the `index`th replacement type of this declaration reference expression (0-based). */ final Type getReplacementType(int index) { - result = this.getImmediateReplacementType(index).resolve() + exists(Type immediate | + immediate = this.getImmediateReplacementType(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll index 9fa6034bd64..e457353ada4 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the parameter declaration of this default argument expression. */ - final ParamDecl getParamDecl() { result = this.getImmediateParamDecl().resolve() } + final ParamDecl getParamDecl() { + exists(ParamDecl immediate | + immediate = this.getImmediateParamDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the parameter index of this default argument expression. @@ -50,7 +55,12 @@ module Generated { /** * Gets the caller side default of this default argument expression, if it exists. */ - final Expr getCallerSideDefault() { result = this.getImmediateCallerSideDefault().resolve() } + final Expr getCallerSideDefault() { + exists(Expr immediate | + immediate = this.getImmediateCallerSideDefault() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getCallerSideDefault()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/expr/DictionaryExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/DictionaryExpr.qll index a210c392fe8..5c444c0fea5 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/DictionaryExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/DictionaryExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the `index`th element of this dictionary expression (0-based). */ - final Expr getElement(int index) { result = this.getImmediateElement(index).resolve() } + final Expr getElement(int index) { + exists(Expr immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this dictionary expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll index 746f9dcc9de..a5a25e0affc 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the qualifier of this dot syntax base ignored expression. */ - final Expr getQualifier() { result = this.getImmediateQualifier().resolve() } + final Expr getQualifier() { + exists(Expr immediate | + immediate = this.getImmediateQualifier() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the sub expression of this dot syntax base ignored expression. @@ -41,6 +46,11 @@ module Generated { /** * Gets the sub expression of this dot syntax base ignored expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/DynamicTypeExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/DynamicTypeExpr.qll index c2bd3768675..55cd226a189 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/DynamicTypeExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/DynamicTypeExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the base of this dynamic type expression. */ - final Expr getBase() { result = this.getImmediateBase().resolve() } + final Expr getBase() { + exists(Expr immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll index b29c5cb98e1..0ec0a3275dd 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the sub expression of this enum is case expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the element of this enum is case expression. @@ -42,6 +47,11 @@ module Generated { /** * Gets the element of this enum is case expression. */ - final EnumElementDecl getElement() { result = this.getImmediateElement().resolve() } + final EnumElementDecl getElement() { + exists(EnumElementDecl immediate | + immediate = this.getImmediateElement() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ExplicitCastExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ExplicitCastExpr.qll index 10bcbc5b447..afbbabe89f0 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ExplicitCastExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ExplicitCastExpr.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the sub expression of this explicit cast expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/Expr.qll b/swift/ql/lib/codeql/swift/generated/expr/Expr.qll index c496b07c4fc..dad004bc2bd 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/Expr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/Expr.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the type of this expression, if it exists. */ - final Type getType() { result = this.getImmediateType().resolve() } + final Type getType() { + exists(Type immediate | + immediate = this.getImmediateType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getType()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/expr/ForceValueExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ForceValueExpr.qll index 2a4a08e1af7..b0f9c8638ef 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ForceValueExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ForceValueExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub expression of this force value expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/IdentityExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/IdentityExpr.qll index bdff6219fe3..9ea8b8e0de6 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/IdentityExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/IdentityExpr.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the sub expression of this identity expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/IfExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/IfExpr.qll index 8a837f1ad17..255140a1d6c 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/IfExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/IfExpr.qll @@ -21,7 +21,12 @@ module Generated { /** * Gets the condition of this if expression. */ - final Expr getCondition() { result = this.getImmediateCondition().resolve() } + final Expr getCondition() { + exists(Expr immediate | + immediate = this.getImmediateCondition() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the then expression of this if expression. @@ -37,7 +42,12 @@ module Generated { /** * Gets the then expression of this if expression. */ - final Expr getThenExpr() { result = this.getImmediateThenExpr().resolve() } + final Expr getThenExpr() { + exists(Expr immediate | + immediate = this.getImmediateThenExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the else expression of this if expression. @@ -53,6 +63,11 @@ module Generated { /** * Gets the else expression of this if expression. */ - final Expr getElseExpr() { result = this.getImmediateElseExpr().resolve() } + final Expr getElseExpr() { + exists(Expr immediate | + immediate = this.getImmediateElseExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll index fdc249c0723..f9ea79025ad 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the sub expression of this implicit conversion expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/InOutExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/InOutExpr.qll index 6cac0fd23ab..0519e728bd2 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/InOutExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/InOutExpr.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the sub expression of this in out expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll index db25abe3906..c7f67891199 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll @@ -27,7 +27,10 @@ module Generated { * Gets the interpolation expression of this interpolated string literal expression, if it exists. */ final OpaqueValueExpr getInterpolationExpr() { - result = this.getImmediateInterpolationExpr().resolve() + exists(OpaqueValueExpr immediate | + immediate = this.getImmediateInterpolationExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -52,7 +55,10 @@ module Generated { * Gets the interpolation count expression of this interpolated string literal expression, if it exists. */ final Expr getInterpolationCountExpr() { - result = this.getImmediateInterpolationCountExpr().resolve() + exists(Expr immediate | + immediate = this.getImmediateInterpolationCountExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -77,7 +83,10 @@ module Generated { * Gets the literal capacity expression of this interpolated string literal expression, if it exists. */ final Expr getLiteralCapacityExpr() { - result = this.getImmediateLiteralCapacityExpr().resolve() + exists(Expr immediate | + immediate = this.getImmediateLiteralCapacityExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -101,7 +110,12 @@ module Generated { /** * Gets the appending expression of this interpolated string literal expression, if it exists. */ - final TapExpr getAppendingExpr() { result = this.getImmediateAppendingExpr().resolve() } + final TapExpr getAppendingExpr() { + exists(TapExpr immediate | + immediate = this.getImmediateAppendingExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getAppendingExpr()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll index 0cd675fc44d..c2cd7d9f896 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the base of this key path application expression. */ - final Expr getBase() { result = this.getImmediateBase().resolve() } + final Expr getBase() { + exists(Expr immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the key path of this key path application expression. @@ -41,6 +46,11 @@ module Generated { /** * Gets the key path of this key path application expression. */ - final Expr getKeyPath() { result = this.getImmediateKeyPath().resolve() } + final Expr getKeyPath() { + exists(Expr immediate | + immediate = this.getImmediateKeyPath() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/KeyPathExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/KeyPathExpr.qll index a7ec4bab8bf..a74a289cf83 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/KeyPathExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/KeyPathExpr.qll @@ -28,7 +28,12 @@ module Generated { /** * Gets the root of this key path expression, if it exists. */ - final TypeRepr getRoot() { result = this.getImmediateRoot().resolve() } + final TypeRepr getRoot() { + exists(TypeRepr immediate | + immediate = this.getImmediateRoot() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getRoot()` exists. @@ -52,7 +57,10 @@ module Generated { * Gets the `index`th component of this key path expression (0-based). */ final KeyPathComponent getComponent(int index) { - result = this.getImmediateComponent(index).resolve() + exists(KeyPathComponent immediate | + immediate = this.getImmediateComponent(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/expr/LazyInitializationExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/LazyInitializationExpr.qll index ee690ad5229..ccb21a42e70 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/LazyInitializationExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/LazyInitializationExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub expression of this lazy initialization expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/LookupExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/LookupExpr.qll index d6a81964675..a2d5edccbff 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/LookupExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/LookupExpr.qll @@ -20,7 +20,12 @@ module Generated { /** * Gets the base of this lookup expression. */ - final Expr getBase() { result = this.getImmediateBase().resolve() } + final Expr getBase() { + exists(Expr immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the member of this lookup expression, if it exists. @@ -36,7 +41,12 @@ module Generated { /** * Gets the member of this lookup expression, if it exists. */ - final Decl getMember() { result = this.getImmediateMember().resolve() } + final Decl getMember() { + exists(Decl immediate | + immediate = this.getImmediateMember() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getMember()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll index 18bb6cf93ae..7dea45b0ffd 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll @@ -25,7 +25,10 @@ module Generated { * Gets the escaping closure of this make temporarily escapable expression. */ final OpaqueValueExpr getEscapingClosure() { - result = this.getImmediateEscapingClosure().resolve() + exists(OpaqueValueExpr immediate | + immediate = this.getImmediateEscapingClosure() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -44,7 +47,12 @@ module Generated { /** * Gets the nonescaping closure of this make temporarily escapable expression. */ - final Expr getNonescapingClosure() { result = this.getImmediateNonescapingClosure().resolve() } + final Expr getNonescapingClosure() { + exists(Expr immediate | + immediate = this.getImmediateNonescapingClosure() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the sub expression of this make temporarily escapable expression. @@ -62,6 +70,11 @@ module Generated { /** * Gets the sub expression of this make temporarily escapable expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/MethodLookupExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/MethodLookupExpr.qll index 2fe7cfb174b..8525b1d28c9 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/MethodLookupExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/MethodLookupExpr.qll @@ -19,6 +19,11 @@ module Generated { /** * Gets the the underlying method declaration reference expression. */ - final Expr getMethodRef() { result = this.getImmediateMethodRef().resolve() } + final Expr getMethodRef() { + exists(Expr immediate | + immediate = this.getImmediateMethodRef() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll index f12d4cbd960..1a19498c020 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the sub expression of this obj c selector expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the method of this obj c selector expression. @@ -42,6 +47,11 @@ module Generated { /** * Gets the method of this obj c selector expression. */ - final Function getMethod() { result = this.getImmediateMethod().resolve() } + final Function getMethod() { + exists(Function immediate | + immediate = this.getImmediateMethod() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll index 4ce11bcca0f..adbc4cb3f34 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/ObjectLiteralExpr.qll @@ -36,7 +36,12 @@ module Generated { /** * Gets the `index`th argument of this object literal expression (0-based). */ - final Argument getArgument(int index) { result = this.getImmediateArgument(index).resolve() } + final Argument getArgument(int index) { + exists(Argument immediate | + immediate = this.getImmediateArgument(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the arguments of this object literal expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/OneWayExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/OneWayExpr.qll index f8313e157e8..00599708cc2 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/OneWayExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/OneWayExpr.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the sub expression of this one way expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/OpenExistentialExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/OpenExistentialExpr.qll index ad2f3551b26..72d7f0c6361 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/OpenExistentialExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/OpenExistentialExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the sub expression of this open existential expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the existential of this open existential expression. @@ -42,7 +47,12 @@ module Generated { /** * Gets the existential of this open existential expression. */ - final Expr getExistential() { result = this.getImmediateExistential().resolve() } + final Expr getExistential() { + exists(Expr immediate | + immediate = this.getImmediateExistential() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the opaque expression of this open existential expression. @@ -60,6 +70,11 @@ module Generated { /** * Gets the opaque expression of this open existential expression. */ - final OpaqueValueExpr getOpaqueExpr() { result = this.getImmediateOpaqueExpr().resolve() } + final OpaqueValueExpr getOpaqueExpr() { + exists(OpaqueValueExpr immediate | + immediate = this.getImmediateOpaqueExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll index f23fd024cf9..cc96496a668 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub expression of this optional evaluation expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll index dbd4ba6ecdb..cf66c7d3c79 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/OtherInitializerRefExpr.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the initializer of this other initializer reference expression. */ - final Initializer getInitializer() { result = this.getImmediateInitializer().resolve() } + final Initializer getInitializer() { + exists(Initializer immediate | + immediate = this.getImmediateInitializer() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll index 7a7478197b7..8a923e918f7 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/OverloadedDeclRefExpr.qll @@ -30,7 +30,10 @@ module Generated { * Gets the `index`th possible declaration of this overloaded declaration reference expression (0-based). */ final ValueDecl getPossibleDeclaration(int index) { - result = this.getImmediatePossibleDeclaration(index).resolve() + exists(ValueDecl immediate | + immediate = this.getImmediatePossibleDeclaration(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll index 80e258ec54c..0d6c65467fe 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/PropertyWrapperValuePlaceholderExpr.qll @@ -30,7 +30,12 @@ module Generated { /** * Gets the wrapped value of this property wrapper value placeholder expression, if it exists. */ - final Expr getWrappedValue() { result = this.getImmediateWrappedValue().resolve() } + final Expr getWrappedValue() { + exists(Expr immediate | + immediate = this.getImmediateWrappedValue() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getWrappedValue()` exists. @@ -53,6 +58,11 @@ module Generated { /** * Gets the placeholder of this property wrapper value placeholder expression. */ - final OpaqueValueExpr getPlaceholder() { result = this.getImmediatePlaceholder().resolve() } + final OpaqueValueExpr getPlaceholder() { + exists(OpaqueValueExpr immediate | + immediate = this.getImmediatePlaceholder() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll index e8edcbe2b70..6a2c298e360 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the sub expression of this rebind self in initializer expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the self of this rebind self in initializer expression. @@ -42,6 +47,11 @@ module Generated { /** * Gets the self of this rebind self in initializer expression. */ - final VarDecl getSelf() { result = this.getImmediateSelf().resolve() } + final VarDecl getSelf() { + exists(VarDecl immediate | + immediate = this.getImmediateSelf() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/SelfApplyExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/SelfApplyExpr.qll index d7e14456b43..a05d2fd41f6 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/SelfApplyExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/SelfApplyExpr.qll @@ -27,6 +27,11 @@ module Generated { /** * Gets the base of this self apply expression. */ - final Expr getBase() { result = this.getImmediateBase().resolve() } + final Expr getBase() { + exists(Expr immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/SequenceExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/SequenceExpr.qll index 26d5d803c40..c29a54b7150 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/SequenceExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/SequenceExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the `index`th element of this sequence expression (0-based). */ - final Expr getElement(int index) { result = this.getImmediateElement(index).resolve() } + final Expr getElement(int index) { + exists(Expr immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this sequence expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/SubscriptExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/SubscriptExpr.qll index 6f998636ba3..8e9734917b7 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/SubscriptExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/SubscriptExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the `index`th argument of this subscript expression (0-based). */ - final Argument getArgument(int index) { result = this.getImmediateArgument(index).resolve() } + final Argument getArgument(int index) { + exists(Argument immediate | + immediate = this.getImmediateArgument(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the arguments of this subscript expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/SuperRefExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/SuperRefExpr.qll index 7718629410d..5058db3f175 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/SuperRefExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/SuperRefExpr.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the self of this super reference expression. */ - final VarDecl getSelf() { result = this.getImmediateSelf().resolve() } + final VarDecl getSelf() { + exists(VarDecl immediate | + immediate = this.getImmediateSelf() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/TapExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/TapExpr.qll index f4f0aa07121..0132d9363f3 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/TapExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/TapExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the sub expression of this tap expression, if it exists. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getSubExpr()` exists. @@ -44,7 +49,12 @@ module Generated { /** * Gets the body of this tap expression. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the variable of this tap expression. @@ -60,6 +70,11 @@ module Generated { /** * Gets the variable of this tap expression. */ - final VarDecl getVar() { result = this.getImmediateVar().resolve() } + final VarDecl getVar() { + exists(VarDecl immediate | + immediate = this.getImmediateVar() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/TupleElementExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/TupleElementExpr.qll index ed8c67650f0..b1755eb7d0c 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/TupleElementExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/TupleElementExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the sub expression of this tuple element expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the index of this tuple element expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/TupleExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/TupleExpr.qll index 3435ddc8916..d2a5b5be705 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/TupleExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/TupleExpr.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the `index`th element of this tuple expression (0-based). */ - final Expr getElement(int index) { result = this.getImmediateElement(index).resolve() } + final Expr getElement(int index) { + exists(Expr immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this tuple expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/TypeExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/TypeExpr.qll index d8e729fc250..96fb7141531 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/TypeExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/TypeExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the type representation of this type expression, if it exists. */ - final TypeRepr getTypeRepr() { result = this.getImmediateTypeRepr().resolve() } + final TypeRepr getTypeRepr() { + exists(TypeRepr immediate | + immediate = this.getImmediateTypeRepr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getTypeRepr()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll index d9130d4885e..bd4e902d6b8 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the base of this unresolved dot expression. */ - final Expr getBase() { result = this.getImmediateBase().resolve() } + final Expr getBase() { + exists(Expr immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the name of this unresolved dot expression. diff --git a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll index 93e5dde32a0..db2639f8695 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll @@ -25,6 +25,11 @@ module Generated { /** * Gets the sub pattern of this unresolved pattern expression. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll index 31dc8f10023..b5b650b58bb 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/UnresolvedSpecializeExpr.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the sub expression of this unresolved specialize expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/expr/VarargExpansionExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/VarargExpansionExpr.qll index b4a208b1947..38f38243f3e 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/VarargExpansionExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/VarargExpansionExpr.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub expression of this vararg expansion expression. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/pattern/BindingPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/BindingPattern.qll index 1165e0f7d66..16fa03e3bd8 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/BindingPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/BindingPattern.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub pattern of this binding pattern. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/pattern/EnumElementPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/EnumElementPattern.qll index 0ff39e60753..bbed4615ce1 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/EnumElementPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/EnumElementPattern.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the element of this enum element pattern. */ - final EnumElementDecl getElement() { result = this.getImmediateElement().resolve() } + final EnumElementDecl getElement() { + exists(EnumElementDecl immediate | + immediate = this.getImmediateElement() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the sub pattern of this enum element pattern, if it exists. @@ -42,7 +47,12 @@ module Generated { /** * Gets the sub pattern of this enum element pattern, if it exists. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getSubPattern()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/pattern/ExprPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/ExprPattern.qll index d2140ec8156..0fdb76ad695 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/ExprPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/ExprPattern.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the sub expression of this expression pattern. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/pattern/IsPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/IsPattern.qll index aa4a6f7a5fc..7864297866c 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/IsPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/IsPattern.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the cast type representation of this is pattern, if it exists. */ - final TypeRepr getCastTypeRepr() { result = this.getImmediateCastTypeRepr().resolve() } + final TypeRepr getCastTypeRepr() { + exists(TypeRepr immediate | + immediate = this.getImmediateCastTypeRepr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getCastTypeRepr()` exists. @@ -47,7 +52,12 @@ module Generated { /** * Gets the sub pattern of this is pattern, if it exists. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getSubPattern()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/pattern/OptionalSomePattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/OptionalSomePattern.qll index 0e3d97b5a08..f6431fe50fa 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/OptionalSomePattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/OptionalSomePattern.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub pattern of this optional some pattern. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/pattern/ParenPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/ParenPattern.qll index 4590b7506d8..285abb88d02 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/ParenPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/ParenPattern.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the sub pattern of this paren pattern. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/pattern/TuplePattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/TuplePattern.qll index 150bb6b6008..dc6dcc36ba3 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/TuplePattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/TuplePattern.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the `index`th element of this tuple pattern (0-based). */ - final Pattern getElement(int index) { result = this.getImmediateElement(index).resolve() } + final Pattern getElement(int index) { + exists(Pattern immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this tuple pattern. diff --git a/swift/ql/lib/codeql/swift/generated/pattern/TypedPattern.qll b/swift/ql/lib/codeql/swift/generated/pattern/TypedPattern.qll index 3aa4fd30638..2570eca03f8 100644 --- a/swift/ql/lib/codeql/swift/generated/pattern/TypedPattern.qll +++ b/swift/ql/lib/codeql/swift/generated/pattern/TypedPattern.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the sub pattern of this typed pattern. */ - final Pattern getSubPattern() { result = this.getImmediateSubPattern().resolve() } + final Pattern getSubPattern() { + exists(Pattern immediate | + immediate = this.getImmediateSubPattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the type representation of this typed pattern, if it exists. @@ -42,7 +47,12 @@ module Generated { /** * Gets the type representation of this typed pattern, if it exists. */ - final TypeRepr getTypeRepr() { result = this.getImmediateTypeRepr().resolve() } + final TypeRepr getTypeRepr() { + exists(TypeRepr immediate | + immediate = this.getImmediateTypeRepr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getTypeRepr()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/BraceStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/BraceStmt.qll index 1686d584dc5..08cc9c6ce2b 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/BraceStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/BraceStmt.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the `index`th element of this brace statement (0-based). */ - final AstNode getElement(int index) { result = this.getImmediateElement(index).resolve() } + final AstNode getElement(int index) { + exists(AstNode immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the elements of this brace statement. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/BreakStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/BreakStmt.qll index 7491d9a21a3..f9adaeb9ddb 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/BreakStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/BreakStmt.qll @@ -33,7 +33,12 @@ module Generated { /** * Gets the target of this break statement, if it exists. */ - final Stmt getTarget() { result = this.getImmediateTarget().resolve() } + final Stmt getTarget() { + exists(Stmt immediate | + immediate = this.getImmediateTarget() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getTarget()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/CaseLabelItem.qll b/swift/ql/lib/codeql/swift/generated/stmt/CaseLabelItem.qll index bdc582997ea..b69e392cc1e 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/CaseLabelItem.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/CaseLabelItem.qll @@ -25,7 +25,12 @@ module Generated { /** * Gets the pattern of this case label item. */ - final Pattern getPattern() { result = this.getImmediatePattern().resolve() } + final Pattern getPattern() { + exists(Pattern immediate | + immediate = this.getImmediatePattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the guard of this case label item, if it exists. @@ -43,7 +48,12 @@ module Generated { /** * Gets the guard of this case label item, if it exists. */ - final Expr getGuard() { result = this.getImmediateGuard().resolve() } + final Expr getGuard() { + exists(Expr immediate | + immediate = this.getImmediateGuard() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getGuard()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/CaseStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/CaseStmt.qll index 1a3b6854b47..e39ba24d48c 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/CaseStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/CaseStmt.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the body of this case statement. */ - final Stmt getBody() { result = this.getImmediateBody().resolve() } + final Stmt getBody() { + exists(Stmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th label of this case statement (0-based). @@ -41,7 +46,12 @@ module Generated { /** * Gets the `index`th label of this case statement (0-based). */ - final CaseLabelItem getLabel(int index) { result = this.getImmediateLabel(index).resolve() } + final CaseLabelItem getLabel(int index) { + exists(CaseLabelItem immediate | + immediate = this.getImmediateLabel(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the labels of this case statement. @@ -69,7 +79,12 @@ module Generated { /** * Gets the `index`th variable of this case statement (0-based). */ - final VarDecl getVariable(int index) { result = this.getImmediateVariable(index).resolve() } + final VarDecl getVariable(int index) { + exists(VarDecl immediate | + immediate = this.getImmediateVariable(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the variables of this case statement. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/ConditionElement.qll b/swift/ql/lib/codeql/swift/generated/stmt/ConditionElement.qll index bc58ac9eadf..2eddaa245e7 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/ConditionElement.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/ConditionElement.qll @@ -26,7 +26,12 @@ module Generated { /** * Gets the boolean of this condition element, if it exists. */ - final Expr getBoolean() { result = this.getImmediateBoolean().resolve() } + final Expr getBoolean() { + exists(Expr immediate | + immediate = this.getImmediateBoolean() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getBoolean()` exists. @@ -49,7 +54,12 @@ module Generated { /** * Gets the pattern of this condition element, if it exists. */ - final Pattern getPattern() { result = this.getImmediatePattern().resolve() } + final Pattern getPattern() { + exists(Pattern immediate | + immediate = this.getImmediatePattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getPattern()` exists. @@ -72,7 +82,12 @@ module Generated { /** * Gets the initializer of this condition element, if it exists. */ - final Expr getInitializer() { result = this.getImmediateInitializer().resolve() } + final Expr getInitializer() { + exists(Expr immediate | + immediate = this.getImmediateInitializer() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getInitializer()` exists. @@ -95,7 +110,12 @@ module Generated { /** * Gets the availability of this condition element, if it exists. */ - final AvailabilityInfo getAvailability() { result = this.getImmediateAvailability().resolve() } + final AvailabilityInfo getAvailability() { + exists(AvailabilityInfo immediate | + immediate = this.getImmediateAvailability() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getAvailability()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/ContinueStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/ContinueStmt.qll index 0bb169de636..d247f507d9a 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/ContinueStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/ContinueStmt.qll @@ -35,7 +35,12 @@ module Generated { /** * Gets the target of this continue statement, if it exists. */ - final Stmt getTarget() { result = this.getImmediateTarget().resolve() } + final Stmt getTarget() { + exists(Stmt immediate | + immediate = this.getImmediateTarget() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getTarget()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/DeferStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/DeferStmt.qll index 28b65e85fe0..21da3aa706c 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/DeferStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/DeferStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the body of this defer statement. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/DoCatchStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/DoCatchStmt.qll index 7618c71d158..180c4103841 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/DoCatchStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/DoCatchStmt.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the body of this do catch statement. */ - final Stmt getBody() { result = this.getImmediateBody().resolve() } + final Stmt getBody() { + exists(Stmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th catch of this do catch statement (0-based). @@ -41,7 +46,12 @@ module Generated { /** * Gets the `index`th catch of this do catch statement (0-based). */ - final CaseStmt getCatch(int index) { result = this.getImmediateCatch(index).resolve() } + final CaseStmt getCatch(int index) { + exists(CaseStmt immediate | + immediate = this.getImmediateCatch(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the catches of this do catch statement. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/DoStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/DoStmt.qll index 9a88046e2b4..b4661b21d8e 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/DoStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/DoStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the body of this do statement. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/FallthroughStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/FallthroughStmt.qll index 9031a241f95..20fadcc91f3 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/FallthroughStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/FallthroughStmt.qll @@ -25,7 +25,10 @@ module Generated { * Gets the fallthrough source of this fallthrough statement. */ final CaseStmt getFallthroughSource() { - result = this.getImmediateFallthroughSource().resolve() + exists(CaseStmt immediate | + immediate = this.getImmediateFallthroughSource() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** @@ -44,6 +47,11 @@ module Generated { /** * Gets the fallthrough dest of this fallthrough statement. */ - final CaseStmt getFallthroughDest() { result = this.getImmediateFallthroughDest().resolve() } + final CaseStmt getFallthroughDest() { + exists(CaseStmt immediate | + immediate = this.getImmediateFallthroughDest() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/ForEachStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/ForEachStmt.qll index 64511ad5a20..fccf5f3ed3b 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/ForEachStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/ForEachStmt.qll @@ -26,7 +26,12 @@ module Generated { /** * Gets the pattern of this for each statement. */ - final Pattern getPattern() { result = this.getImmediatePattern().resolve() } + final Pattern getPattern() { + exists(Pattern immediate | + immediate = this.getImmediatePattern() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the sequence of this for each statement. @@ -44,7 +49,12 @@ module Generated { /** * Gets the sequence of this for each statement. */ - final Expr getSequence() { result = this.getImmediateSequence().resolve() } + final Expr getSequence() { + exists(Expr immediate | + immediate = this.getImmediateSequence() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the where of this for each statement, if it exists. @@ -60,7 +70,12 @@ module Generated { /** * Gets the where of this for each statement, if it exists. */ - final Expr getWhere() { result = this.getImmediateWhere().resolve() } + final Expr getWhere() { + exists(Expr immediate | + immediate = this.getImmediateWhere() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getWhere()` exists. @@ -83,6 +98,11 @@ module Generated { /** * Gets the body of this for each statement. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/GuardStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/GuardStmt.qll index c3fec287475..53d1a8a54aa 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/GuardStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/GuardStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the body of this guard statement. */ - final BraceStmt getBody() { result = this.getImmediateBody().resolve() } + final BraceStmt getBody() { + exists(BraceStmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/IfStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/IfStmt.qll index af40d44ce7a..1f0ad8717cd 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/IfStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/IfStmt.qll @@ -21,7 +21,12 @@ module Generated { /** * Gets the then of this if statement. */ - final Stmt getThen() { result = this.getImmediateThen().resolve() } + final Stmt getThen() { + exists(Stmt immediate | + immediate = this.getImmediateThen() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the else of this if statement, if it exists. @@ -36,7 +41,12 @@ module Generated { /** * Gets the else of this if statement, if it exists. */ - final Stmt getElse() { result = this.getImmediateElse().resolve() } + final Stmt getElse() { + exists(Stmt immediate | + immediate = this.getImmediateElse() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getElse()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll index cf8818b5d84..41f728962bd 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the condition of this labeled conditional statement. */ - final StmtCondition getCondition() { result = this.getImmediateCondition().resolve() } + final StmtCondition getCondition() { + exists(StmtCondition immediate | + immediate = this.getImmediateCondition() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/PoundAssertStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/PoundAssertStmt.qll index 85fe6487362..b2f9624447e 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/PoundAssertStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/PoundAssertStmt.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the condition of this pound assert statement. */ - final Expr getCondition() { result = this.getImmediateCondition().resolve() } + final Expr getCondition() { + exists(Expr immediate | + immediate = this.getImmediateCondition() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the message of this pound assert statement. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll index 31206b08752..2f4ada62ccf 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll @@ -25,7 +25,12 @@ module Generated { /** * Gets the condition of this repeat while statement. */ - final Expr getCondition() { result = this.getImmediateCondition().resolve() } + final Expr getCondition() { + exists(Expr immediate | + immediate = this.getImmediateCondition() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the body of this repeat while statement. @@ -43,6 +48,11 @@ module Generated { /** * Gets the body of this repeat while statement. */ - final Stmt getBody() { result = this.getImmediateBody().resolve() } + final Stmt getBody() { + exists(Stmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/ReturnStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/ReturnStmt.qll index 465464611c1..c37671aba34 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/ReturnStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/ReturnStmt.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the result of this return statement, if it exists. */ - final Expr getResult() { result = this.getImmediateResult().resolve() } + final Expr getResult() { + exists(Expr immediate | + immediate = this.getImmediateResult() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getResult()` exists. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/StmtCondition.qll b/swift/ql/lib/codeql/swift/generated/stmt/StmtCondition.qll index e8a9e38dff1..1be4eaf361a 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/StmtCondition.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/StmtCondition.qll @@ -25,7 +25,10 @@ module Generated { * Gets the `index`th element of this statement condition (0-based). */ final ConditionElement getElement(int index) { - result = this.getImmediateElement(index).resolve() + exists(ConditionElement immediate | + immediate = this.getImmediateElement(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/stmt/SwitchStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/SwitchStmt.qll index 6c1d73790a6..819be668d5c 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/SwitchStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/SwitchStmt.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the expression of this switch statement. */ - final Expr getExpr() { result = this.getImmediateExpr().resolve() } + final Expr getExpr() { + exists(Expr immediate | + immediate = this.getImmediateExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th case of this switch statement (0-based). @@ -41,7 +46,12 @@ module Generated { /** * Gets the `index`th case of this switch statement (0-based). */ - final CaseStmt getCase(int index) { result = this.getImmediateCase(index).resolve() } + final CaseStmt getCase(int index) { + exists(CaseStmt immediate | + immediate = this.getImmediateCase(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the cases of this switch statement. diff --git a/swift/ql/lib/codeql/swift/generated/stmt/ThrowStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/ThrowStmt.qll index 9ef7edabeff..fd6c6920b00 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/ThrowStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/ThrowStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the sub expression of this throw statement. */ - final Expr getSubExpr() { result = this.getImmediateSubExpr().resolve() } + final Expr getSubExpr() { + exists(Expr immediate | + immediate = this.getImmediateSubExpr() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/WhileStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/WhileStmt.qll index fb117dd9350..0482887cc57 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/WhileStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/WhileStmt.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the body of this while statement. */ - final Stmt getBody() { result = this.getImmediateBody().resolve() } + final Stmt getBody() { + exists(Stmt immediate | + immediate = this.getImmediateBody() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/stmt/YieldStmt.qll b/swift/ql/lib/codeql/swift/generated/stmt/YieldStmt.qll index f040c892347..df8b51cb2c4 100644 --- a/swift/ql/lib/codeql/swift/generated/stmt/YieldStmt.qll +++ b/swift/ql/lib/codeql/swift/generated/stmt/YieldStmt.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the `index`th result of this yield statement (0-based). */ - final Expr getResult(int index) { result = this.getImmediateResult(index).resolve() } + final Expr getResult(int index) { + exists(Expr immediate | + immediate = this.getImmediateResult(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the results of this yield statement. diff --git a/swift/ql/lib/codeql/swift/generated/type/AnyFunctionType.qll b/swift/ql/lib/codeql/swift/generated/type/AnyFunctionType.qll index 3778893e461..334bc84a08e 100644 --- a/swift/ql/lib/codeql/swift/generated/type/AnyFunctionType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/AnyFunctionType.qll @@ -21,7 +21,12 @@ module Generated { /** * Gets the result of this function type. */ - final Type getResult() { result = this.getImmediateResult().resolve() } + final Type getResult() { + exists(Type immediate | + immediate = this.getImmediateResult() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th parameter type of this function type (0-based). @@ -39,7 +44,12 @@ module Generated { /** * Gets the `index`th parameter type of this function type (0-based). */ - final Type getParamType(int index) { result = this.getImmediateParamType(index).resolve() } + final Type getParamType(int index) { + exists(Type immediate | + immediate = this.getImmediateParamType(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the parameter types of this function type. diff --git a/swift/ql/lib/codeql/swift/generated/type/AnyGenericType.qll b/swift/ql/lib/codeql/swift/generated/type/AnyGenericType.qll index d6639d7e9a6..3cb6fe2786c 100644 --- a/swift/ql/lib/codeql/swift/generated/type/AnyGenericType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/AnyGenericType.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the parent of this any generic type, if it exists. */ - final Type getParent() { result = this.getImmediateParent().resolve() } + final Type getParent() { + exists(Type immediate | + immediate = this.getImmediateParent() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getParent()` exists. @@ -45,6 +50,11 @@ module Generated { /** * Gets the declaration of this any generic type. */ - final GenericTypeDecl getDeclaration() { result = this.getImmediateDeclaration().resolve() } + final GenericTypeDecl getDeclaration() { + exists(GenericTypeDecl immediate | + immediate = this.getImmediateDeclaration() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/ArchetypeType.qll b/swift/ql/lib/codeql/swift/generated/type/ArchetypeType.qll index 9b5ef7266a9..7d907166dcf 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ArchetypeType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ArchetypeType.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the interface type of this archetype type. */ - final Type getInterfaceType() { result = this.getImmediateInterfaceType().resolve() } + final Type getInterfaceType() { + exists(Type immediate | + immediate = this.getImmediateInterfaceType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the superclass of this archetype type, if it exists. @@ -41,7 +46,12 @@ module Generated { /** * Gets the superclass of this archetype type, if it exists. */ - final Type getSuperclass() { result = this.getImmediateSuperclass().resolve() } + final Type getSuperclass() { + exists(Type immediate | + immediate = this.getImmediateSuperclass() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Holds if `getSuperclass()` exists. @@ -65,7 +75,10 @@ module Generated { * Gets the `index`th protocol of this archetype type (0-based). */ final ProtocolDecl getProtocol(int index) { - result = this.getImmediateProtocol(index).resolve() + exists(ProtocolDecl immediate | + immediate = this.getImmediateProtocol(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/type/BoundGenericType.qll b/swift/ql/lib/codeql/swift/generated/type/BoundGenericType.qll index cc8afe7b2dc..c6b93bc8858 100644 --- a/swift/ql/lib/codeql/swift/generated/type/BoundGenericType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/BoundGenericType.qll @@ -22,7 +22,12 @@ module Generated { /** * Gets the `index`th argument type of this bound generic type (0-based). */ - final Type getArgType(int index) { result = this.getImmediateArgType(index).resolve() } + final Type getArgType(int index) { + exists(Type immediate | + immediate = this.getImmediateArgType(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the argument types of this bound generic type. diff --git a/swift/ql/lib/codeql/swift/generated/type/DependentMemberType.qll b/swift/ql/lib/codeql/swift/generated/type/DependentMemberType.qll index 6f229dd0c40..007748ae2c4 100644 --- a/swift/ql/lib/codeql/swift/generated/type/DependentMemberType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/DependentMemberType.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the base type of this dependent member type. */ - final Type getBaseType() { result = this.getImmediateBaseType().resolve() } + final Type getBaseType() { + exists(Type immediate | + immediate = this.getImmediateBaseType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the associated type declaration of this dependent member type. @@ -43,7 +48,10 @@ module Generated { * Gets the associated type declaration of this dependent member type. */ final AssociatedTypeDecl getAssociatedTypeDecl() { - result = this.getImmediateAssociatedTypeDecl().resolve() + exists(AssociatedTypeDecl immediate | + immediate = this.getImmediateAssociatedTypeDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/DictionaryType.qll b/swift/ql/lib/codeql/swift/generated/type/DictionaryType.qll index 328cbaf5cab..fa5c2b97d47 100644 --- a/swift/ql/lib/codeql/swift/generated/type/DictionaryType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/DictionaryType.qll @@ -24,7 +24,12 @@ module Generated { /** * Gets the key type of this dictionary type. */ - final Type getKeyType() { result = this.getImmediateKeyType().resolve() } + final Type getKeyType() { + exists(Type immediate | + immediate = this.getImmediateKeyType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the value type of this dictionary type. @@ -42,6 +47,11 @@ module Generated { /** * Gets the value type of this dictionary type. */ - final Type getValueType() { result = this.getImmediateValueType().resolve() } + final Type getValueType() { + exists(Type immediate | + immediate = this.getImmediateValueType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/DynamicSelfType.qll b/swift/ql/lib/codeql/swift/generated/type/DynamicSelfType.qll index 167d3b3336e..e23702fcd25 100644 --- a/swift/ql/lib/codeql/swift/generated/type/DynamicSelfType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/DynamicSelfType.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the static self type of this dynamic self type. */ - final Type getStaticSelfType() { result = this.getImmediateStaticSelfType().resolve() } + final Type getStaticSelfType() { + exists(Type immediate | + immediate = this.getImmediateStaticSelfType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/ExistentialType.qll b/swift/ql/lib/codeql/swift/generated/type/ExistentialType.qll index 8aa75be5329..a9fe57dd6a5 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ExistentialType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ExistentialType.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the constraint of this existential type. */ - final Type getConstraint() { result = this.getImmediateConstraint().resolve() } + final Type getConstraint() { + exists(Type immediate | + immediate = this.getImmediateConstraint() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/GenericFunctionType.qll b/swift/ql/lib/codeql/swift/generated/type/GenericFunctionType.qll index 26e12c7efe5..986f661db14 100644 --- a/swift/ql/lib/codeql/swift/generated/type/GenericFunctionType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/GenericFunctionType.qll @@ -28,7 +28,10 @@ module Generated { * Gets the `index`th type parameter of this generic type (0-based). */ final GenericTypeParamType getGenericParam(int index) { - result = this.getImmediateGenericParam(index).resolve() + exists(GenericTypeParamType immediate | + immediate = this.getImmediateGenericParam(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) } /** diff --git a/swift/ql/lib/codeql/swift/generated/type/InOutType.qll b/swift/ql/lib/codeql/swift/generated/type/InOutType.qll index 8ca778d928b..f7de62a4055 100644 --- a/swift/ql/lib/codeql/swift/generated/type/InOutType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/InOutType.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the object type of this in out type. */ - final Type getObjectType() { result = this.getImmediateObjectType().resolve() } + final Type getObjectType() { + exists(Type immediate | + immediate = this.getImmediateObjectType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/LValueType.qll b/swift/ql/lib/codeql/swift/generated/type/LValueType.qll index abae89b74b3..c05688a0b73 100644 --- a/swift/ql/lib/codeql/swift/generated/type/LValueType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/LValueType.qll @@ -23,6 +23,11 @@ module Generated { /** * Gets the object type of this l value type. */ - final Type getObjectType() { result = this.getImmediateObjectType().resolve() } + final Type getObjectType() { + exists(Type immediate | + immediate = this.getImmediateObjectType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/ModuleType.qll b/swift/ql/lib/codeql/swift/generated/type/ModuleType.qll index 5b3ea917abd..e43a1107533 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ModuleType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ModuleType.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the module of this module type. */ - final ModuleDecl getModule() { result = this.getImmediateModule().resolve() } + final ModuleDecl getModule() { + exists(ModuleDecl immediate | + immediate = this.getImmediateModule() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll b/swift/ql/lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll index ae8f60310ba..b503969d8ab 100644 --- a/swift/ql/lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll @@ -29,6 +29,11 @@ module Generated { /** * Gets the declaration of this opaque type archetype type. */ - final OpaqueTypeDecl getDeclaration() { result = this.getImmediateDeclaration().resolve() } + final OpaqueTypeDecl getDeclaration() { + exists(OpaqueTypeDecl immediate | + immediate = this.getImmediateDeclaration() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/ParameterizedProtocolType.qll b/swift/ql/lib/codeql/swift/generated/type/ParameterizedProtocolType.qll index bec28eb4746..0218fb91ade 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ParameterizedProtocolType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ParameterizedProtocolType.qll @@ -29,7 +29,12 @@ module Generated { /** * Gets the base of this parameterized protocol type. */ - final ProtocolType getBase() { result = this.getImmediateBase().resolve() } + final ProtocolType getBase() { + exists(ProtocolType immediate | + immediate = this.getImmediateBase() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets the `index`th argument of this parameterized protocol type (0-based). @@ -47,7 +52,12 @@ module Generated { /** * Gets the `index`th argument of this parameterized protocol type (0-based). */ - final Type getArg(int index) { result = this.getImmediateArg(index).resolve() } + final Type getArg(int index) { + exists(Type immediate | + immediate = this.getImmediateArg(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the arguments of this parameterized protocol type. diff --git a/swift/ql/lib/codeql/swift/generated/type/ParenType.qll b/swift/ql/lib/codeql/swift/generated/type/ParenType.qll index b19af82c7e7..c955d1e1dcd 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ParenType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ParenType.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the type of this paren type. */ - final Type getType() { result = this.getImmediateType().resolve() } + final Type getType() { + exists(Type immediate | + immediate = this.getImmediateType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/ProtocolCompositionType.qll b/swift/ql/lib/codeql/swift/generated/type/ProtocolCompositionType.qll index fbde68aed07..6a6991770da 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ProtocolCompositionType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ProtocolCompositionType.qll @@ -23,7 +23,12 @@ module Generated { /** * Gets the `index`th member of this protocol composition type (0-based). */ - final Type getMember(int index) { result = this.getImmediateMember(index).resolve() } + final Type getMember(int index) { + exists(Type immediate | + immediate = this.getImmediateMember(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the members of this protocol composition type. diff --git a/swift/ql/lib/codeql/swift/generated/type/ReferenceStorageType.qll b/swift/ql/lib/codeql/swift/generated/type/ReferenceStorageType.qll index f34a2d21a39..ff6999d780c 100644 --- a/swift/ql/lib/codeql/swift/generated/type/ReferenceStorageType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/ReferenceStorageType.qll @@ -21,6 +21,11 @@ module Generated { /** * Gets the referent type of this reference storage type. */ - final Type getReferentType() { result = this.getImmediateReferentType().resolve() } + final Type getReferentType() { + exists(Type immediate | + immediate = this.getImmediateReferentType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/TupleType.qll b/swift/ql/lib/codeql/swift/generated/type/TupleType.qll index 3a08e3bd593..662e21ef76f 100644 --- a/swift/ql/lib/codeql/swift/generated/type/TupleType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/TupleType.qll @@ -21,7 +21,12 @@ module Generated { /** * Gets the `index`th type of this tuple type (0-based). */ - final Type getType(int index) { result = this.getImmediateType(index).resolve() } + final Type getType(int index) { + exists(Type immediate | + immediate = this.getImmediateType(index) and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } /** * Gets any of the types of this tuple type. diff --git a/swift/ql/lib/codeql/swift/generated/type/Type.qll b/swift/ql/lib/codeql/swift/generated/type/Type.qll index 17f51174ad3..a3074fdd4d3 100644 --- a/swift/ql/lib/codeql/swift/generated/type/Type.qll +++ b/swift/ql/lib/codeql/swift/generated/type/Type.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the canonical type of this type. */ - final Type getCanonicalType() { result = this.getImmediateCanonicalType().resolve() } + final Type getCanonicalType() { + exists(Type immediate | + immediate = this.getImmediateCanonicalType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/TypeAliasType.qll b/swift/ql/lib/codeql/swift/generated/type/TypeAliasType.qll index 976df4ee108..fa6ea238996 100644 --- a/swift/ql/lib/codeql/swift/generated/type/TypeAliasType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/TypeAliasType.qll @@ -24,6 +24,11 @@ module Generated { /** * Gets the declaration of this type alias type. */ - final TypeAliasDecl getDecl() { result = this.getImmediateDecl().resolve() } + final TypeAliasDecl getDecl() { + exists(TypeAliasDecl immediate | + immediate = this.getImmediateDecl() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/TypeRepr.qll b/swift/ql/lib/codeql/swift/generated/type/TypeRepr.qll index 8913869af20..4a3d11bd074 100644 --- a/swift/ql/lib/codeql/swift/generated/type/TypeRepr.qll +++ b/swift/ql/lib/codeql/swift/generated/type/TypeRepr.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the type of this type representation. */ - final Type getType() { result = this.getImmediateType().resolve() } + final Type getType() { + exists(Type immediate | + immediate = this.getImmediateType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll b/swift/ql/lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll index 4a02243be68..bf662ae4136 100644 --- a/swift/ql/lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll +++ b/swift/ql/lib/codeql/swift/generated/type/UnarySyntaxSugarType.qll @@ -22,6 +22,11 @@ module Generated { /** * Gets the base type of this unary syntax sugar type. */ - final Type getBaseType() { result = this.getImmediateBaseType().resolve() } + final Type getBaseType() { + exists(Type immediate | + immediate = this.getImmediateBaseType() and + if exists(this.getResolveStep()) then result = immediate else result = immediate.resolve() + ) + } } } diff --git a/swift/ql/test/extractor-tests/generated/decl/CapturedDecl/PrintAst.expected b/swift/ql/test/extractor-tests/generated/decl/CapturedDecl/PrintAst.expected index d7746863677..7e7f62e9471 100644 --- a/swift/ql/test/extractor-tests/generated/decl/CapturedDecl/PrintAst.expected +++ b/swift/ql/test/extractor-tests/generated/decl/CapturedDecl/PrintAst.expected @@ -84,7 +84,7 @@ closures.swift: # 18| getSubExpr(): [ArrayExpr] [...] # 18| getElement(0): [DeclRefExpr] x # 18| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ... -# 18| getImmediateSubExpr(): [LoadExpr] (Int) ... +# 18| getSubExpr(): [LoadExpr] (Int) ... # 18| getArgument(1): [Argument] separator: default separator # 18| getExpr(): [DefaultArgumentExpr] default separator # 18| getArgument(2): [Argument] terminator: default terminator @@ -245,7 +245,7 @@ closures.swift: # 42| getArgument(0): [Argument] : 40 # 42| getExpr(): [IntegerLiteralExpr] 40 # 42| getElement(1).getFullyConverted(): [ErasureExpr] (Any) ... -# 42| getImmediateSubExpr(): [AwaitExpr] await ... +# 42| getSubExpr(): [AwaitExpr] await ... # 42| getArgument(1): [Argument] separator: default separator # 42| getExpr(): [DefaultArgumentExpr] default separator # 42| getArgument(2): [Argument] terminator: default terminator diff --git a/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr.expected b/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr.expected index 05634e5ab1b..845dde278e1 100644 --- a/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr.expected +++ b/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr.expected @@ -2,7 +2,7 @@ | identity_expressions.swift:4:9:4:21 | .self | DotSelfExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:4:9:4:19 | .x | | identity_expressions.swift:4:28:4:31 | (...) | ParenExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:4:29:4:29 | 42 | | identity_expressions.swift:8:5:8:9 | (...) | ParenExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:8:6:8:8 | call to A.init() | -| identity_expressions.swift:11:28:11:43 | (...) | ParenExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:11:35:11:42 | call to create() | +| identity_expressions.swift:11:28:11:43 | (...) | ParenExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:11:29:11:42 | await ... | | identity_expressions.swift:11:29:11:42 | await ... | AwaitExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:11:35:11:42 | call to create() | | identity_expressions.swift:14:5:14:21 | await ... | AwaitExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:14:11:14:21 | call to process() | | identity_expressions.swift:14:11:14:19 | (...) | ParenExpr | hasType: | yes | getSubExpr: | identity_expressions.swift:14:12:14:12 | process() | diff --git a/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr_getType.expected b/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr_getType.expected index 029023374ce..025db5e1932 100644 --- a/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr_getType.expected +++ b/swift/ql/test/extractor-tests/generated/expr/IdentityExpr/IdentityExpr_getType.expected @@ -1,5 +1,5 @@ | identity_expressions.swift:4:9:4:14 | .self | A | -| identity_expressions.swift:4:9:4:21 | .self | Int | +| identity_expressions.swift:4:9:4:21 | .self | @lvalue Int | | identity_expressions.swift:4:28:4:31 | (...) | (Int) | | identity_expressions.swift:8:5:8:9 | (...) | (A) | | identity_expressions.swift:11:28:11:43 | (...) | (A) | diff --git a/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr.expected b/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr.expected index 14fa9eb88b1..90e2af39d30 100644 --- a/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr.expected +++ b/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr.expected @@ -1,5 +1,5 @@ | implicit_conversions.swift:2:3:2:3 | (UnsafePointer) ... | StringToPointerExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:2:3:2:3 | Hello | | implicit_conversions.swift:4:16:4:16 | (Int?) ... | InjectIntoOptionalExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:4:16:4:16 | 42 | | implicit_conversions.swift:5:25:5:25 | (Equatable) ... | ErasureExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:5:25:5:25 | 42 | -| implicit_conversions.swift:12:3:12:5 | ((() -> Void)?) ... | AbiSafeConversionExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:12:3:12:5 | .b | +| implicit_conversions.swift:12:3:12:5 | (@lvalue (() -> Void)?) ... | AbiSafeConversionExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:12:3:12:5 | .b | | implicit_conversions.swift:12:9:12:10 | ((() -> Void)?) ... | InjectIntoOptionalExpr | hasType: | yes | getSubExpr: | implicit_conversions.swift:12:9:12:10 | { ... } | diff --git a/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr_getType.expected b/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr_getType.expected index a7f1b65dcbe..d8dfc2cd957 100644 --- a/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr_getType.expected +++ b/swift/ql/test/extractor-tests/generated/expr/ImplicitConversionExpr/ImplicitConversionExpr_getType.expected @@ -1,5 +1,5 @@ | implicit_conversions.swift:2:3:2:3 | (UnsafePointer) ... | UnsafePointer | | implicit_conversions.swift:4:16:4:16 | (Int?) ... | Int? | | implicit_conversions.swift:5:25:5:25 | (Equatable) ... | Equatable | -| implicit_conversions.swift:12:3:12:5 | ((() -> Void)?) ... | (() -> Void)? | +| implicit_conversions.swift:12:3:12:5 | (@lvalue (() -> Void)?) ... | @lvalue (() -> Void)? | | implicit_conversions.swift:12:9:12:10 | ((() -> Void)?) ... | (() -> Void)? | diff --git a/swift/ql/test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.expected b/swift/ql/test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.expected index e69de29bb2d..6e36cc0e55f 100644 --- a/swift/ql/test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.expected +++ b/swift/ql/test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.expected @@ -0,0 +1 @@ +| Self | getName: | Self | getCanonicalType: | Self | getStaticSelfType: | X | diff --git a/swift/ql/test/library-tests/ast/PrintAst.expected b/swift/ql/test/library-tests/ast/PrintAst.expected index f1d3c7dba9b..b4665b644e8 100644 --- a/swift/ql/test/library-tests/ast/PrintAst.expected +++ b/swift/ql/test/library-tests/ast/PrintAst.expected @@ -595,7 +595,7 @@ cfg.swift: # 122| getInit(0): [MemberRefExpr] .myInt # 122| getBase(): [DeclRefExpr] inoutParam # 122| getBase().getFullyConverted(): [LoadExpr] (C) ... -# 122| getImmediateSubExpr(): [DotSelfExpr] .self +# 122| getSubExpr(): [DotSelfExpr] .self # 122| getPattern(0): [NamedPattern] n10 # 122| getElement(21): [ConcreteVarDecl] n10 # 122| Type = Int @@ -613,7 +613,7 @@ cfg.swift: # 124| getFunction(): [MethodLookupExpr] .getMyInt() # 124| getBase(): [DeclRefExpr] inoutParam # 124| getBase().getFullyConverted(): [LoadExpr] (C) ... -# 124| getImmediateSubExpr(): [DotSelfExpr] .self +# 124| getSubExpr(): [DotSelfExpr] .self # 124| getMethodRef(): [DeclRefExpr] getMyInt() # 124| getPattern(0): [NamedPattern] n12 # 124| getElement(25): [ConcreteVarDecl] n12 @@ -787,7 +787,7 @@ cfg.swift: # 151| getElement(0): [ConditionElement] obj # 151| getBoolean(): [DeclRefExpr] obj # 151| getBoolean().getFullyConverted(): [IsExpr] ... is ... -# 151| getImmediateSubExpr(): [LoadExpr] (AnyObject) ... +# 151| getSubExpr(): [LoadExpr] (AnyObject) ... # 151| getThen(): [BraceStmt] { ... } # 152| getElement(0): [ReturnStmt] return ... # 152| getResult(): [BooleanLiteralExpr] true @@ -805,7 +805,7 @@ cfg.swift: # 156| getPattern(): [EnumElementPattern] .some(...) # 156| getSubPattern(): [NamedPattern] x # 156| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 156| getImmediateSubPattern(): [BindingPattern] let ... +# 156| getSubPattern(): [BindingPattern] let ... # 156| getInitializer(): [DeclRefExpr] xOptional # 156| getThen(): [BraceStmt] { ... } # 157| getElement(0): [ReturnStmt] return ... @@ -2048,7 +2048,7 @@ cfg.swift: # 301| getSubExpr(): [ArrayExpr] [...] # 301| getElement(0): [DeclRefExpr] x # 301| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ... -# 301| getImmediateSubExpr(): [LoadExpr] (Int) ... +# 301| getSubExpr(): [LoadExpr] (Int) ... # 301| getArgument(1): [Argument] separator: default separator # 301| getExpr(): [DefaultArgumentExpr] default separator # 301| getArgument(2): [Argument] terminator: default terminator @@ -2089,7 +2089,7 @@ cfg.swift: # 308| getSubExpr(): [ArrayExpr] [...] # 308| getElement(0): [DeclRefExpr] x # 308| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ... -# 308| getImmediateSubExpr(): [LoadExpr] (Int) ... +# 308| getSubExpr(): [LoadExpr] (Int) ... # 308| getArgument(1): [Argument] separator: default separator # 308| getExpr(): [DefaultArgumentExpr] default separator # 308| getArgument(2): [Argument] terminator: default terminator @@ -2196,7 +2196,7 @@ cfg.swift: # 324| getSubExpr(): [ArrayExpr] [...] # 324| getElement(0): [DeclRefExpr] x # 324| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ... -# 324| getImmediateSubExpr(): [LoadExpr] (Int) ... +# 324| getSubExpr(): [LoadExpr] (Int) ... # 324| getArgument(1): [Argument] separator: default separator # 324| getExpr(): [DefaultArgumentExpr] default separator # 324| getArgument(2): [Argument] terminator: default terminator @@ -2287,7 +2287,7 @@ cfg.swift: # 340| getSubExpr(): [ArrayExpr] [...] # 340| getElement(0): [DeclRefExpr] x # 340| getElement(0).getFullyConverted(): [ErasureExpr] (Any) ... -# 340| getImmediateSubExpr(): [LoadExpr] (Int) ... +# 340| getSubExpr(): [LoadExpr] (Int) ... # 340| getArgument(1): [Argument] separator: default separator # 340| getExpr(): [DefaultArgumentExpr] default separator # 340| getArgument(2): [Argument] terminator: default terminator @@ -4214,8 +4214,8 @@ declarations.swift: # 155| getTypeRepr(): [TypeRepr] Derived # 155| getMethodRef(): [DeclRefExpr] Derived.init() # 155| getInit(0).getFullyConverted(): [InjectIntoOptionalExpr] (Baz?) ... -# 155| getImmediateSubExpr(): [CoerceExpr] (Baz) ... -# 155| getImmediateSubExpr(): [DerivedToBaseExpr] (Baz) ... +# 155| getSubExpr(): [CoerceExpr] (Baz) ... +# 155| getSubExpr(): [DerivedToBaseExpr] (Baz) ... # 155| getPattern(0): [TypedPattern] ... as ... # 155| getSubPattern(): [NamedPattern] d # 155| getTypeRepr(): [TypeRepr] Baz? @@ -5912,7 +5912,7 @@ patterns.swift: # 83| getPattern(): [EnumElementPattern] .mySingle(...) # 83| getSubPattern(): [NamedPattern] a # 83| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 83| getImmediateSubPattern(): [BindingPattern] let ... +# 83| getSubPattern(): [BindingPattern] let ... # 85| getCase(2): [CaseStmt] case ... # 86| getBody(): [BraceStmt] { ... } # 86| getElement(0): [CallExpr] call to sink(arg:) @@ -5948,7 +5948,7 @@ patterns.swift: # 92| getPattern(): [EnumElementPattern] .mySingle(...) # 92| getSubPattern(): [NamedPattern] x # 92| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 92| getImmediateSubPattern(): [BindingPattern] let ... +# 92| getSubPattern(): [BindingPattern] let ... # 92| getInitializer(): [DeclRefExpr] a # 92| getInitializer().getFullyConverted(): [LoadExpr] (MyEnum) ... # 92| getThen(): [BraceStmt] { ... } @@ -6004,7 +6004,7 @@ patterns.swift: # 105| getPattern(): [EnumElementPattern] .mySingle(...) # 105| getSubPattern(): [NamedPattern] a # 105| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 105| getImmediateSubPattern(): [BindingPattern] let ... +# 105| getSubPattern(): [BindingPattern] let ... # 107| getCase(2): [CaseStmt] case ... # 108| getBody(): [BraceStmt] { ... } # 108| getElement(0): [CallExpr] call to sink(arg:) @@ -6040,7 +6040,7 @@ patterns.swift: # 114| getPattern(): [EnumElementPattern] .mySingle(...) # 114| getSubPattern(): [NamedPattern] x # 114| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 114| getImmediateSubPattern(): [BindingPattern] let ... +# 114| getSubPattern(): [BindingPattern] let ... # 114| getInitializer(): [DeclRefExpr] a # 114| getInitializer().getFullyConverted(): [LoadExpr] (MyEnum) ... # 114| getThen(): [BraceStmt] { ... } @@ -6098,7 +6098,7 @@ patterns.swift: # 127| getPattern(): [EnumElementPattern] .mySingle(...) # 127| getSubPattern(): [NamedPattern] a # 127| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 127| getImmediateSubPattern(): [BindingPattern] let ... +# 127| getSubPattern(): [BindingPattern] let ... # 129| getCase(2): [CaseStmt] case ... # 130| getBody(): [BraceStmt] { ... } # 130| getElement(0): [CallExpr] call to sink(arg:) @@ -6134,7 +6134,7 @@ patterns.swift: # 136| getPattern(): [EnumElementPattern] .mySingle(...) # 136| getSubPattern(): [NamedPattern] x # 136| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 136| getImmediateSubPattern(): [BindingPattern] let ... +# 136| getSubPattern(): [BindingPattern] let ... # 136| getInitializer(): [DeclRefExpr] a # 136| getInitializer().getFullyConverted(): [LoadExpr] (MyEnum) ... # 136| getThen(): [BraceStmt] { ... } @@ -6195,7 +6195,7 @@ patterns.swift: # 149| getPattern(): [EnumElementPattern] .mySingle(...) # 149| getSubPattern(): [NamedPattern] a # 149| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 149| getImmediateSubPattern(): [BindingPattern] let ... +# 149| getSubPattern(): [BindingPattern] let ... # 151| getCase(2): [CaseStmt] case ... # 152| getBody(): [BraceStmt] { ... } # 152| getElement(0): [CallExpr] call to sink(arg:) @@ -6254,7 +6254,7 @@ patterns.swift: # 162| getPattern(): [EnumElementPattern] .mySingle(...) # 162| getSubPattern(): [NamedPattern] x # 162| getSubPattern().getFullyUnresolved(): [ParenPattern] (...) -# 162| getImmediateSubPattern(): [BindingPattern] let ... +# 162| getSubPattern(): [BindingPattern] let ... # 162| getInitializer(): [CallExpr] call to ... # 162| getFunction(): [MethodLookupExpr] .myPair # 162| getBase(): [TypeExpr] MyEnum.Type diff --git a/swift/ql/test/library-tests/hidden-ast/Conversions.expected b/swift/ql/test/library-tests/hidden-ast/Conversions.expected new file mode 100644 index 00000000000..2355bb0878a --- /dev/null +++ b/swift/ql/test/library-tests/hidden-ast/Conversions.expected @@ -0,0 +1,3 @@ +| chained_conversion.swift:2:12:2:14 | (Int) ... | LoadExpr | chained_conversion.swift:2:12:2:14 | .self | DotSelfExpr | +| chained_conversion.swift:2:12:2:14 | (Int?) ... | InjectIntoOptionalExpr | chained_conversion.swift:2:12:2:14 | (Int) ... | LoadExpr | +| chained_conversion.swift:2:12:2:14 | .self | DotSelfExpr | chained_conversion.swift:2:12:2:12 | x | DeclRefExpr | diff --git a/swift/ql/test/library-tests/hidden-ast/Conversions.ql b/swift/ql/test/library-tests/hidden-ast/Conversions.ql new file mode 100644 index 00000000000..ea9a56b768a --- /dev/null +++ b/swift/ql/test/library-tests/hidden-ast/Conversions.ql @@ -0,0 +1,5 @@ +import swift + +from Expr e, Expr subexpr +where subexpr = [e.(IdentityExpr).getSubExpr(), e.(ImplicitConversionExpr).getSubExpr()] +select e, e.getPrimaryQlClasses(), subexpr, subexpr.getPrimaryQlClasses() diff --git a/swift/ql/test/library-tests/hidden-ast/PrintAst.expected b/swift/ql/test/library-tests/hidden-ast/PrintAst.expected new file mode 100644 index 00000000000..510908e79dc --- /dev/null +++ b/swift/ql/test/library-tests/hidden-ast/PrintAst.expected @@ -0,0 +1,11 @@ +chained_conversion.swift: +# 1| [NamedFunction] foo(x:) +# 1| InterfaceType = (inout Int) -> Int? +# 1| getParam(0): [ParamDecl] x +# 1| Type = Int +# 1| getBody(): [BraceStmt] { ... } +# 2| getElement(0): [ReturnStmt] return ... +# 2| getResult(): [DeclRefExpr] x +# 2| getResult().getFullyConverted(): [InjectIntoOptionalExpr] (Int?) ... +# 2| getSubExpr(): [LoadExpr] (Int) ... +# 2| getSubExpr(): [DotSelfExpr] .self diff --git a/swift/ql/test/library-tests/hidden-ast/PrintAst.qlref b/swift/ql/test/library-tests/hidden-ast/PrintAst.qlref new file mode 100644 index 00000000000..f7d7d0c4fcb --- /dev/null +++ b/swift/ql/test/library-tests/hidden-ast/PrintAst.qlref @@ -0,0 +1 @@ +library-tests/ast/PrintAst.ql diff --git a/swift/ql/test/library-tests/hidden-ast/chained_conversion.swift b/swift/ql/test/library-tests/hidden-ast/chained_conversion.swift new file mode 100644 index 00000000000..4f9ec59853a --- /dev/null +++ b/swift/ql/test/library-tests/hidden-ast/chained_conversion.swift @@ -0,0 +1,3 @@ +func foo(x: inout Int) -> Int? { + return x.self +}