hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 08:43:11 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into fix-cp-in-external-flow

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-11-10 10:44:31 +00:00
parent 29a294f8d0 267a7f5229
commit 7b052e2404
23 changed files with 17272 additions and 225 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/build-ripunzip.yml vendored
View File

@@ -1,4 +1,4 @@
name: Build runzip
name: Build ripunzip
on:
workflow_dispatch:
@@ -6,24 +6,28 @@ on:
ripunzip-version:
description: "what reference to checktout from google/runzip"
required: false
default: v2.0.2
openssl-version:
description: "what reference to checkout from openssl/openssl for Linux"
required: false
default: openssl-3.5.0
pull_request:
paths:
- .github/workflows/build-ripunzip.yml
env:
RIPUNZIP_DEFAULT: v2.0.3
OPENSSL_DEFAULT: openssl-3.6.0
jobs:
build:
strategy:
fail-fast: false
matrix:
os: [ubuntu-22.04, macos-13, windows-2022]
os: [ubuntu-24.04, macos-15, windows-2025]
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v5
with:
repository: google/ripunzip
ref: ${{ inputs.ripunzip-version }}
ref: ${{ inputs.ripunzip-version || env.RIPUNZIP_DEFAULT }}
# we need to avoid ripunzip dynamically linking into libssl
# see https://github.com/sfackler/rust-openssl/issues/183
- if: runner.os == 'Linux'
@@ -32,7 +36,7 @@ jobs:
with:
repository: openssl/openssl
path: openssl
ref: ${{ inputs.openssl-version }}
ref: ${{ inputs.openssl-version || env.OPENSSL_DEFAULT }}
- if: runner.os == 'Linux'
name: build and install openssl with fPIC
shell: bash

2437
cpp/downgrades/2121ffec11fac265524955fee1775217364d4ca4/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2436
cpp/downgrades/2121ffec11fac265524955fee1775217364d4ca4/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2
cpp/downgrades/2121ffec11fac265524955fee1775217364d4ca4/upgrade.properties Normal file
View File

@@ -0,0 +1,2 @@
description: Fix decltype qualifier issue
compatibility: full

4
cpp/ql/lib/semmle/code/cpp/NameQualifiers.qll
View File

@@ -144,14 +144,14 @@ class NameQualifiableElement extends Element, @namequalifiableelement {
class NameQualifyingElement extends Element, @namequalifyingelement {
/**
* Gets a name qualifier for which this is the qualifying namespace or
* user-defined type. For example: class `X` is the
* user-defined type, or decltype. For example: class `X` is the
* `NameQualifyingElement` and `X::` is the `NameQualifier`.
*/
NameQualifier getANameQualifier() {
namequalifiers(unresolveElement(result), _, underlyingElement(this), _)
}
/** Gets the name of this namespace or user-defined type. */
/** Gets the name of this namespace, user-defined type, or decltype. */
string getName() { none() }
}

10
cpp/ql/lib/semmle/code/cpp/Type.qll
View File

@@ -1146,7 +1146,7 @@ class DerivedType extends Type, @derivedtype {
* decltype(a) b;
* ```
*/
class Decltype extends Type {
class Decltype extends Type, NameQualifyingElement {
Decltype() { decltypes(underlyingElement(this), _, 0, _, _) }
override string getAPrimaryQlClass() { result = "Decltype" }
@@ -1187,7 +1187,7 @@ class Decltype extends Type {
override string toString() { result = "decltype(...)" }
override string getName() { none() }
override string getName() { result = "decltype(...)" }
override int getSize() { result = this.getBaseType().getSize() }
@@ -1247,7 +1247,7 @@ class TypeofType extends Type {
override string toString() { result = "typeof(...)" }
override string getName() { none() }
override string getName() { result = "typeof(...)" }
override int getSize() { result = this.getBaseType().getSize() }
@@ -1311,8 +1311,6 @@ class TypeofTypeType extends TypeofType {
Type getType() { type_operators(underlyingElement(this), unresolveElement(result), _, _) }
override string getAPrimaryQlClass() { result = "TypeofTypeType" }
override string toString() { result = "typeof(...)" }
}
/**
@@ -1394,7 +1392,7 @@ class IntrinsicTransformedType extends Type {
override Type resolveTypedefs() { result = this.getBaseType().resolveTypedefs() }
override string getName() { none() }
override string getName() { result = this.getIntrinsicName() + "(...)" }
override int getSize() { result = this.getBaseType().getSize() }

4
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
View File

@@ -703,6 +703,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
)
}
pragma[nomagic]
override predicate comparesLt(
Cpp::Expr left, Cpp::Expr right, int k, boolean isLessThan, boolean testIsTrue
) {
@@ -713,6 +714,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
)
}
pragma[nomagic]
override predicate comparesLt(Cpp::Expr e, int k, boolean isLessThan, GuardValue value) {
exists(GuardValue partValue, GuardCondition part |
this.(Cpp::BinaryLogicalOperation)
@@ -738,6 +740,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
)
}
pragma[nomagic]
override predicate comparesEq(
Cpp::Expr left, Cpp::Expr right, int k, boolean areEqual, boolean testIsTrue
) {
@@ -757,6 +760,7 @@ private class GuardConditionFromBinaryLogicalOperator extends GuardConditionImpl
)
}
pragma[nomagic]
override predicate comparesEq(Cpp::Expr e, int k, boolean areEqual, GuardValue value) {
exists(GuardValue partValue, GuardCondition part |
this.(Cpp::BinaryLogicalOperation)

3
cpp/ql/lib/semmlecode.cpp.dbscheme
View File

@@ -1327,7 +1327,8 @@ specialnamequalifyingelements(
@namequalifiableelement = @expr | @namequalifier;
@namequalifyingelement = @namespace
| @specialnamequalifyingelement
| @usertype;
| @usertype
| @decltype;
namequalifiers(
unique int id: @namequalifier,

2436
cpp/ql/lib/upgrades/c16b29b27f71247023321cc0d0360998b318837c/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2437
cpp/ql/lib/upgrades/c16b29b27f71247023321cc0d0360998b318837c/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2
cpp/ql/lib/upgrades/c16b29b27f71247023321cc0d0360998b318837c/upgrade.properties Normal file
View File

@@ -0,0 +1,2 @@
description: Fix decltype qualifier issue
compatibility: full

9
cpp/ql/test/library-tests/dataflow/taint-tests/test_mad-signatures.expected
View File

@@ -26846,14 +26846,20 @@ getParameterTypeName
| atl.cpp:196:12:196:14 | Add | 0 | INARGTYPclass:0 |
| atl.cpp:198:12:198:17 | Append | 0 | const CAtlArray & |
| atl.cpp:199:10:199:13 | Copy | 0 | const CAtlArray & |
| atl.cpp:201:8:201:12 | GetAt | 0 | decltype(...) |
| atl.cpp:201:8:201:12 | GetAt | 0 | size_t |
| atl.cpp:205:10:205:22 | InsertArrayAt | 0 | decltype(...) |
| atl.cpp:205:10:205:22 | InsertArrayAt | 0 | size_t |
| atl.cpp:205:10:205:22 | InsertArrayAt | 1 | const CAtlArray * |
| atl.cpp:206:10:206:17 | InsertAt | 0 | decltype(...) |
| atl.cpp:206:10:206:17 | InsertAt | 0 | size_t |
| atl.cpp:206:10:206:17 | InsertAt | 1 | INARGTYPclass:0 |
| atl.cpp:206:10:206:17 | InsertAt | 2 | decltype(...) |
| atl.cpp:206:10:206:17 | InsertAt | 2 | size_t |
| atl.cpp:211:10:211:18 | SetAtGrow | 0 | decltype(...) |
| atl.cpp:211:10:211:18 | SetAtGrow | 0 | size_t |
| atl.cpp:211:10:211:18 | SetAtGrow | 1 | INARGTYPclass:0 |
| atl.cpp:213:8:213:17 | operator[] | 0 | decltype(...) |
| atl.cpp:213:8:213:17 | operator[] | 0 | size_t |
| atl.cpp:259:5:259:12 | CAtlList | 0 | UINT |
| atl.cpp:259:5:259:12 | CAtlList | 0 | UINT |
@@ -26873,6 +26879,8 @@ getParameterTypeName
| atl.cpp:267:14:267:17 | Find | 1 | POSITION |
| atl.cpp:267:14:267:17 | Find | 1 | __POSITION * |
| atl.cpp:267:14:267:17 | Find | 1 | __POSITION * |
| atl.cpp:268:14:268:22 | FindIndex | 0 | decltype(...) |
| atl.cpp:268:14:268:22 | FindIndex | 0 | decltype(...) |
| atl.cpp:268:14:268:22 | FindIndex | 0 | size_t |
| atl.cpp:268:14:268:22 | FindIndex | 0 | size_t |
| atl.cpp:269:8:269:12 | GetAt | 0 | POSITION |
@@ -27053,6 +27061,7 @@ getParameterTypeName
| atl.cpp:927:17:927:25 | CopyChars | 2 | int |
| atl.cpp:928:17:928:25 | CopyChars | 0 | XCHAR * |
| atl.cpp:928:17:928:25 | CopyChars | 0 | char * |
| atl.cpp:928:17:928:25 | CopyChars | 1 | decltype(...) |
| atl.cpp:928:17:928:25 | CopyChars | 1 | size_t |
| atl.cpp:928:17:928:25 | CopyChars | 2 | const XCHAR * |
| atl.cpp:928:17:928:25 | CopyChars | 2 | const char * |

70
misc/codegen/templates/ql_db.mustache
View File

@@ -29,9 +29,79 @@ module Raw {
{{type}} {{getter}}({{#is_indexed}}int index{{/is_indexed}}) {
{{tablename}}({{#tableparams}}{{^first}}, {{/first}}{{param}}{{/tableparams}})
}
{{#is_indexed}}
/**
* Gets the number of {{doc_plural}}.
{{#internal}}
* INTERNAL: Do not use.
{{/internal}}
*/
int getNumberOf{{plural}}() {
result = count(int i | {{tablename}}(this, i, _))
}
{{/is_indexed}}
{{/synth}}
{{/properties}}
}
{{#final}}
private Element getImmediateChildOf{{name}}({{name}} e, int index) {
{{^has_children}}none(){{/has_children}}
{{#has_children}}
{{! n is the base offset 0, for ease of generation }}
{{! n<child> is constructed to be strictly greater than the indexes for <child> children }}
exists(int n{{#all_children}}, int n{{property.singular}}{{/all_children}} |
n = 0
{{#all_children}}
{{#property}}
{{#synth}}
and
n{{singular}} = n{{prev}}
{{/synth}}
{{^synth}}
{{! n<child> is defined on top of the previous definition }}
{{! for single and optional properties it adds 1 (regardless of whether the optional property exists) }}
{{! for repeated it adds 1 + the maximum index (which works for repeated optional as well) }}
and
n{{singular}} = n{{prev}} {{^is_repeated}}+ 1{{/is_repeated}}{{#is_repeated}}+ e.getNumberOf{{plural}}(){{/is_repeated}}
{{/synth}}
{{/property}}
{{/all_children}} and (
none()
{{#all_children}}
{{#property}}
{{^synth}}
or
{{#is_repeated}}
result = e.get{{singular}}(index - n{{prev}})
{{/is_repeated}}
{{^is_repeated}}
index = n{{prev}} and result = e.get{{singular}}()
{{/is_repeated}}
{{/synth}}
{{/property}}
{{/all_children}}
))
{{/has_children}}
}
{{/final}}
{{/classes}}
/**
* Gets the immediate child indexed at `index`. Indexes are not guaranteed to be contiguous, but are guaranteed to be distinct.
*/
pragma[nomagic]
Element getImmediateChild(Element e, int index) {
// why does this look more complicated than it should?
// * none() simplifies generation, as we can append `or ...` without a special case for the first item
none()
{{#classes}}
{{#final}}
or
result = getImmediateChildOf{{name}}(e, index)
{{/final}}
{{/classes}}
}
}

7
misc/codegen/templates/ql_parent.mustache
View File

@@ -23,7 +23,12 @@ private module Impl {
{{! for single and optional properties it adds 1 (regardless of whether the optional property exists) }}
{{! for repeated it adds 1 + the maximum index (which works for repeated optional as well) }}
and
n{{singular}} = n{{prev}} + 1{{#is_repeated}}+ max(int i | i = -1 or exists(e.get{{#type_is_hideable}}Immediate{{/type_is_hideable}}{{singular}}(i)) | i){{/is_repeated}}
{{#type_is_hideable}}
n{{singular}} = n{{prev}} + 1{{#is_repeated}}+ max(int i | i = -1 or exists(e.getImmediate{{singular}}(i)) | i){{/is_repeated}}
{{/type_is_hideable}}
{{^type_is_hideable}}
n{{singular}} = n{{prev}} {{^is_repeated}}+ 1{{/is_repeated}}{{#is_repeated}}+ e.getNumberOf{{plural}}(){{/is_repeated}}
{{/type_is_hideable}}
{{/property}}
{{/all_children}} and (
none()

19
misc/codegen/templates/ql_synth_types.mustache
View File

@@ -32,9 +32,28 @@ module Synth {
{{/root}}
{{/non_final_classes}}
/**
* INTERNAL: Do not use.
*
* Gets the parent of synthetic element `e`.
*/
Raw::{{root}} getSynthParent(T{{root}} e) {
none()
{{#final_classes}}
{{#is_fresh_synth}}
{{#has_params}}
or
e = T{{name}}({{#params}}{{#first}}result{{/first}}{{^first}}, _{{/first}}{{/params}})
{{/has_params}}
{{/is_fresh_synth}}
{{/final_classes}}
}
{{#final_classes}}
/**
* INTERNAL: Do not use.
*
* Converts a raw element to a synthesized `T{{name}}`, if possible.
*/
T{{name}} convert{{name}}FromRaw(Raw::Element e) {

6
rust/ql/.generated.list generated
View File

@@ -568,7 +568,7 @@ lib/codeql/rust/elements/internal/generated/ParamList.qll eaa0cd4402d3665013d47e
lib/codeql/rust/elements/internal/generated/ParenExpr.qll 812d2ff65079277f39f15c084657a955a960a7c1c0e96dd60472a58d56b945eb eb8c607f43e1fcbb41f37a10de203a1db806690e10ff4f04d48ed874189cb0eb
lib/codeql/rust/elements/internal/generated/ParenPat.qll 24f9dc7fce75827d6fddb856cd48f80168143151b27295c0bab6db5a06567a09 ebadbc6f5498e9ed754b39893ce0763840409a0721036a25b56e1ead7dcc09aa
lib/codeql/rust/elements/internal/generated/ParenTypeRepr.qll 03f5c5b96a37adeb845352d7fcea3e098da9050e534972d14ac0f70d60a2d776 ed3d6e5d02086523087adebce4e89e35461eb95f2a66d1d4100fe23fc691b126
lib/codeql/rust/elements/internal/generated/ParentChild.qll 6e86fd9b6d5ec1b4aeeb5472cc6d2ebf3328bbaa8605cf52c9add56652cc47dc 3cf2a8e12ffb6631221c7b94fa112e8e3be96efba697996862685a87b2c9aff7
lib/codeql/rust/elements/internal/generated/ParentChild.qll f04ca3d02170f7e532a480cc81748cf04f1b022d5e0e32ffcdf0f15c8f1961aa 999104d69a5435c9cab594e04b82ed26ae38b1b1d2ac1dbbb315a433c586f941
lib/codeql/rust/elements/internal/generated/ParenthesizedArgList.qll d901fdc8142a5b8847cc98fc2afcfd16428b8ace4fbffb457e761b5fd3901a77 5dbb0aea5a13f937da666ccb042494af8f11e776ade1459d16b70a4dd193f9fb
lib/codeql/rust/elements/internal/generated/Pat.qll 3605ac062be2f294ee73336e9669027b8b655f4ad55660e1eab35266275154ee 7f9400db2884d336dd1d21df2a8093759c2a110be9bf6482ce8e80ae0fd74ed4
lib/codeql/rust/elements/internal/generated/Path.qll 9b12afb46fc5a9ad3a811b05472621bbecccb900c47504feb7f29d96b28421ca bcacbffc36fb3e0c9b26523b5963af0ffa9fd6b19f00a2a31bdb2316071546bd
@@ -583,7 +583,7 @@ lib/codeql/rust/elements/internal/generated/PtrTypeRepr.qll 8d0ea4f6c7f8203340bf
lib/codeql/rust/elements/internal/generated/PureSynthConstructors.qll e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f e5b8e69519012bbaae29dcb82d53f7f7ecce368c0358ec27ef6180b228a0057f
lib/codeql/rust/elements/internal/generated/RangeExpr.qll 23cca03bf43535f33b22a38894f70d669787be4e4f5b8fe5c8f7b964d30e9027 18624cef6c6b679eeace2a98737e472432e0ead354cca02192b4d45330f047c9
lib/codeql/rust/elements/internal/generated/RangePat.qll 80826a6a6868a803aa2372e31c52a03e1811a3f1f2abdb469f91ca0bfdd9ecb6 34ee1e208c1690cba505dff2c588837c0cd91e185e2a87d1fe673191962276a9
lib/codeql/rust/elements/internal/generated/Raw.qll f50925f4925848cef73003adf01420566ca3efa16f491eadac62a30972ee9204 17d62252413618e1fa162c6c0b303ccfcac5f7f70cc170d739b20cc95f57035b
lib/codeql/rust/elements/internal/generated/Raw.qll 14758dc2e2a9af251f24e24516eab0fc95d334c1da06f418ea5da3c5521642c9 a8b6637f57293a85714cc8761f8fd1e23780d58f3873acaa3c77acd9cbfcf19f
lib/codeql/rust/elements/internal/generated/RefExpr.qll 7d995884e3dc1c25fc719f5d7253179344d63650e217e9ff6530285fe7a57f64 f2c3c12551deea4964b66553fb9b6423ee16fec53bd63db4796191aa60dc6c66
lib/codeql/rust/elements/internal/generated/RefPat.qll 456ede39837463ee22a630ec7ab6c8630d3664a8ea206fcc6e4f199e92fa564c 5622062765f32930465ba6b170e986706f159f6070f48adee3c20e24e8df4e05
lib/codeql/rust/elements/internal/generated/RefTypeRepr.qll 5b0663a6d234572fb3e467e276d019415caa95ef006438cc59b7af4e1783161e 0e27c8a8f0e323c0e4d6db01fca821bf07c0864d293cdf96fa891b10820c1e4b
@@ -608,7 +608,7 @@ lib/codeql/rust/elements/internal/generated/StructFieldList.qll 5da528a51a6a5db9
lib/codeql/rust/elements/internal/generated/StructPat.qll c76fa005c2fd0448a8803233e1e8818c4123301eb66ac5cf69d0b9eaafc61e98 6e0dffccdce24bca20e87d5ba0f0995c9a1ae8983283e71e7dbfcf6fffc67a58
lib/codeql/rust/elements/internal/generated/StructPatField.qll 5b5c7302dbc4a902ca8e69ff31875c867e295a16a626ba3cef29cd0aa248f179 4e192a0df79947f5cb0d47fdbbba7986137a6a40a1be92ae119873e2fad67edf
lib/codeql/rust/elements/internal/generated/StructPatFieldList.qll 1a95a1bd9f64fb18e9571657cf2d02a8b13c747048a1f0f74baf31b91f0392ad fc274e414ff4ed54386046505920de92755ad0b4d39a7523cdffa4830bd53b37
lib/codeql/rust/elements/internal/generated/Synth.qll 4c741d502d21d449c4e01010776f767c69b408c80ce7d10784b599463bcfd0e3 c76b8628663c126914ead897c779ce782294e9109125d61de958e0eee543abce
lib/codeql/rust/elements/internal/generated/Synth.qll a8ea364358a2bc3a9226d451c0867e89c29509a0f54dd88ed23c77045db2c85a a44de5e84a63cb5a1bfa66b0df33bf28c9f8b6628393d0f3b2f6215dabee47bd
lib/codeql/rust/elements/internal/generated/SynthConstructors.qll f41abfc73415b7accb38da7c107faebfe6843c270ad54e0e54a96e930dfe479a f41abfc73415b7accb38da7c107faebfe6843c270ad54e0e54a96e930dfe479a
lib/codeql/rust/elements/internal/generated/Token.qll 77a91a25ca5669703cf3a4353b591cef4d72caa6b0b9db07bb9e005d69c848d1 2fdffc4882ed3a6ca9ac6d1fb5f1ac5a471ca703e2ffdc642885fa558d6e373b
lib/codeql/rust/elements/internal/generated/TokenTree.qll 1a3c4f5f30659738641abdd28cb793dab3cfde484196b59656fc0a2767e53511 de2ebb210c7759ef7a6f7ee9f805e1cac879221287281775fc80ba34a5492edf

234
rust/ql/lib/codeql/rust/elements/internal/generated/ParentChild.qll generated
View File

@@ -74,7 +74,7 @@ private module Impl {
private Element getImmediateChildOfArgList(ArgList e, int index, string partialPredicateCall) {
exists(int n, int nArg |
n = 0 and
nArg = n + 1 + max(int i | i = -1 or exists(e.getArg(i)) | i) and
nArg = n + e.getNumberOfArgs() and
(
none()
or
@@ -126,8 +126,8 @@ private module Impl {
) {
exists(int n, int nAssocItem, int nAttr |
n = 0 and
nAssocItem = n + 1 + max(int i | i = -1 or exists(e.getAssocItem(i)) | i) and
nAttr = nAssocItem + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAssocItem = n + e.getNumberOfAssocItems() and
nAttr = nAssocItem + e.getNumberOfAttrs() and
(
none()
or
@@ -157,8 +157,8 @@ private module Impl {
) {
exists(int n, int nAttr, int nExternItem |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nExternItem = nAttr + 1 + max(int i | i = -1 or exists(e.getExternItem(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExternItem = nAttr + e.getNumberOfExternItems() and
(
none()
or
@@ -207,7 +207,7 @@ private module Impl {
) {
exists(int n, int nGenericArg |
n = 0 and
nGenericArg = n + 1 + max(int i | i = -1 or exists(e.getGenericArg(i)) | i) and
nGenericArg = n + e.getNumberOfGenericArgs() and
(
none()
or
@@ -222,7 +222,7 @@ private module Impl {
) {
exists(int n, int nGenericParam |
n = 0 and
nGenericParam = n + 1 + max(int i | i = -1 or exists(e.getGenericParam(i)) | i) and
nGenericParam = n + e.getNumberOfGenericParams() and
(
none()
or
@@ -235,8 +235,8 @@ private module Impl {
private Element getImmediateChildOfItemList(ItemList e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nItem |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nItem = nAttr + 1 + max(int i | i = -1 or exists(e.getItem(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nItem = nAttr + e.getNumberOfItems() and
(
none()
or
@@ -276,7 +276,7 @@ private module Impl {
private Element getImmediateChildOfMacroItems(MacroItems e, int index, string partialPredicateCall) {
exists(int n, int nItem |
n = 0 and
nItem = n + 1 + max(int i | i = -1 or exists(e.getItem(i)) | i) and
nItem = n + e.getNumberOfItems() and
(
none()
or
@@ -289,7 +289,7 @@ private module Impl {
private Element getImmediateChildOfMatchArm(MatchArm e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr, int nGuard, int nPat |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
nGuard = nExpr + 1 and
nPat = nGuard + 1 and
@@ -313,8 +313,8 @@ private module Impl {
) {
exists(int n, int nArm, int nAttr |
n = 0 and
nArm = n + 1 + max(int i | i = -1 or exists(e.getArm(i)) | i) and
nAttr = nArm + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nArm = n + e.getNumberOfArms() and
nAttr = nArm + e.getNumberOfAttrs() and
(
none()
or
@@ -362,7 +362,7 @@ private module Impl {
private Element getImmediateChildOfParamList(ParamList e, int index, string partialPredicateCall) {
exists(int n, int nParam, int nSelfParam |
n = 0 and
nParam = n + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = n + e.getNumberOfParams() and
nSelfParam = nParam + 1 and
(
none()
@@ -380,7 +380,7 @@ private module Impl {
) {
exists(int n, int nTypeArg |
n = 0 and
nTypeArg = n + 1 + max(int i | i = -1 or exists(e.getTypeArg(i)) | i) and
nTypeArg = n + e.getNumberOfTypeArgs() and
(
none()
or
@@ -487,8 +487,8 @@ private module Impl {
private Element getImmediateChildOfSourceFile(SourceFile e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nItem |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nItem = nAttr + 1 + max(int i | i = -1 or exists(e.getItem(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nItem = nAttr + e.getNumberOfItems() and
(
none()
or
@@ -504,8 +504,8 @@ private module Impl {
private Element getImmediateChildOfStmtList(StmtList e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nStatement, int nTailExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nStatement = nAttr + 1 + max(int i | i = -1 or exists(e.getStatement(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nStatement = nAttr + e.getNumberOfStatements() and
nTailExpr = nStatement + 1 and
(
none()
@@ -526,7 +526,7 @@ private module Impl {
) {
exists(int n, int nAttr, int nExpr, int nIdentifier |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
nIdentifier = nExpr + 1 and
(
@@ -547,8 +547,8 @@ private module Impl {
) {
exists(int n, int nAttr, int nField, int nSpread |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nField = nAttr + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nField = nAttr + e.getNumberOfFields() and
nSpread = nField + 1 and
(
none()
@@ -569,7 +569,7 @@ private module Impl {
) {
exists(int n, int nAttr, int nDefault, int nName, int nTypeRepr, int nVisibility |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nDefault = nAttr + 1 and
nName = nDefault + 1 and
nTypeRepr = nName + 1 and
@@ -596,7 +596,7 @@ private module Impl {
) {
exists(int n, int nAttr, int nIdentifier, int nPat |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nIdentifier = nAttr + 1 and
nPat = nIdentifier + 1 and
(
@@ -617,7 +617,7 @@ private module Impl {
) {
exists(int n, int nField, int nRestPat |
n = 0 and
nField = n + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = n + e.getNumberOfFields() and
nRestPat = nField + 1 and
(
none()
@@ -637,7 +637,7 @@ private module Impl {
private Element getImmediateChildOfTupleField(TupleField e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nTypeRepr, int nVisibility |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nTypeRepr = nAttr + 1 and
nVisibility = nTypeRepr + 1 and
(
@@ -681,7 +681,7 @@ private module Impl {
) {
exists(int n, int nBound |
n = 0 and
nBound = n + 1 + max(int i | i = -1 or exists(e.getBound(i)) | i) and
nBound = n + e.getNumberOfBounds() and
(
none()
or
@@ -696,7 +696,7 @@ private module Impl {
) {
exists(int n, int nUseBoundGenericArg |
n = 0 and
nUseBoundGenericArg = n + 1 + max(int i | i = -1 or exists(e.getUseBoundGenericArg(i)) | i) and
nUseBoundGenericArg = n + e.getNumberOfUseBoundGenericArgs() and
(
none()
or
@@ -729,7 +729,7 @@ private module Impl {
) {
exists(int n, int nUseTree |
n = 0 and
nUseTree = n + 1 + max(int i | i = -1 or exists(e.getUseTree(i)) | i) and
nUseTree = n + e.getNumberOfUseTrees() and
(
none()
or
@@ -744,7 +744,7 @@ private module Impl {
) {
exists(int n, int nVariant |
n = 0 and
nVariant = n + 1 + max(int i | i = -1 or exists(e.getVariant(i)) | i) and
nVariant = n + e.getNumberOfVariants() and
(
none()
or
@@ -771,7 +771,7 @@ private module Impl {
) {
exists(int n, int nPredicate |
n = 0 and
nPredicate = n + 1 + max(int i | i = -1 or exists(e.getPredicate(i)) | i) and
nPredicate = n + e.getNumberOfPredicates() and
(
none()
or
@@ -809,8 +809,8 @@ private module Impl {
) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nExpr = nAttr + 1 + max(int i | i = -1 or exists(e.getExpr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + e.getNumberOfExprs() and
(
none()
or
@@ -894,7 +894,7 @@ private module Impl {
) {
exists(int n, int nAsmOption |
n = 0 and
nAsmOption = n + 1 + max(int i | i = -1 or exists(e.getAsmOption(i)) | i) and
nAsmOption = n + e.getNumberOfAsmOptions() and
(
none()
or
@@ -991,7 +991,7 @@ private module Impl {
private Element getImmediateChildOfAwaitExpr(AwaitExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1007,7 +1007,7 @@ private module Impl {
private Element getImmediateChildOfBecomeExpr(BecomeExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1023,7 +1023,7 @@ private module Impl {
private Element getImmediateChildOfBinaryExpr(BinaryExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nLhs, int nRhs |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nLhs = nAttr + 1 and
nRhs = nLhs + 1 and
(
@@ -1054,7 +1054,7 @@ private module Impl {
private Element getImmediateChildOfBreakExpr(BreakExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr, int nLifetime |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
nLifetime = nExpr + 1 and
(
@@ -1073,7 +1073,7 @@ private module Impl {
private Element getImmediateChildOfCastExpr(CastExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr, int nTypeRepr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
nTypeRepr = nExpr + 1 and
(
@@ -1095,7 +1095,7 @@ private module Impl {
exists(int n, int nParamList, int nAttr, int nClosureBody, int nForBinder, int nRetType |
n = 0 and
nParamList = n + 1 and
nAttr = nParamList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nParamList + e.getNumberOfAttrs() and
nClosureBody = nAttr + 1 and
nForBinder = nClosureBody + 1 and
nRetType = nForBinder + 1 and
@@ -1149,7 +1149,7 @@ private module Impl {
private Element getImmediateChildOfConstParam(ConstParam e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nDefaultVal, int nName, int nTypeRepr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nDefaultVal = nAttr + 1 and
nName = nDefaultVal + 1 and
nTypeRepr = nName + 1 and
@@ -1173,7 +1173,7 @@ private module Impl {
) {
exists(int n, int nAttr, int nLifetime |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nLifetime = nAttr + 1 and
(
none()
@@ -1215,7 +1215,7 @@ private module Impl {
private Element getImmediateChildOfFieldExpr(FieldExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nContainer, int nIdentifier |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nContainer = nAttr + 1 and
nIdentifier = nContainer + 1 and
(
@@ -1273,10 +1273,10 @@ private module Impl {
) {
exists(int n, int nArg, int nAttr, int nTemplate, int nFormat |
n = 0 and
nArg = n + 1 + max(int i | i = -1 or exists(e.getArg(i)) | i) and
nAttr = nArg + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nArg = n + e.getNumberOfArgs() and
nAttr = nArg + e.getNumberOfAttrs() and
nTemplate = nAttr + 1 and
nFormat = nTemplate + 1 + max(int i | i = -1 or exists(e.getFormat(i)) | i) and
nFormat = nTemplate + e.getNumberOfFormats() and
(
none()
or
@@ -1297,7 +1297,7 @@ private module Impl {
private Element getImmediateChildOfIdentPat(IdentPat e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nName, int nPat |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nName = nAttr + 1 and
nPat = nName + 1 and
(
@@ -1316,7 +1316,7 @@ private module Impl {
private Element getImmediateChildOfIfExpr(IfExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nCondition, int nElse, int nThen |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nCondition = nAttr + 1 and
nElse = nCondition + 1 and
nThen = nElse + 1 and
@@ -1352,7 +1352,7 @@ private module Impl {
private Element getImmediateChildOfIndexExpr(IndexExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nBase, int nIndex |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nBase = nAttr + 1 and
nIndex = nBase + 1 and
(
@@ -1377,7 +1377,7 @@ private module Impl {
private Element getImmediateChildOfLetExpr(LetExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nScrutinee, int nPat |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nScrutinee = nAttr + 1 and
nPat = nScrutinee + 1 and
(
@@ -1396,7 +1396,7 @@ private module Impl {
private Element getImmediateChildOfLetStmt(LetStmt e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nInitializer, int nLetElse, int nPat, int nTypeRepr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nInitializer = nAttr + 1 and
nLetElse = nInitializer + 1 and
nPat = nLetElse + 1 and
@@ -1441,7 +1441,7 @@ private module Impl {
) {
exists(int n, int nAttr, int nLifetime, int nTypeBoundList |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nLifetime = nAttr + 1 and
nTypeBoundList = nLifetime + 1 and
(
@@ -1464,7 +1464,7 @@ private module Impl {
) {
exists(int n, int nAttr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
(
none()
or
@@ -1491,7 +1491,7 @@ private module Impl {
) {
exists(int n, int nStatement, int nTailExpr |
n = 0 and
nStatement = n + 1 + max(int i | i = -1 or exists(e.getStatement(i)) | i) and
nStatement = n + e.getNumberOfStatements() and
nTailExpr = nStatement + 1 and
(
none()
@@ -1545,7 +1545,7 @@ private module Impl {
private Element getImmediateChildOfMatchExpr(MatchExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nScrutinee, int nMatchArmList |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nScrutinee = nAttr + 1 and
nMatchArmList = nScrutinee + 1 and
(
@@ -1578,8 +1578,8 @@ private module Impl {
) {
exists(int n, int nAttr, int nField, int nTypeRepr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nField = nAttr + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nField = nAttr + e.getNumberOfFields() and
nTypeRepr = nField + 1 and
(
none()
@@ -1598,7 +1598,7 @@ private module Impl {
private Element getImmediateChildOfOrPat(OrPat e, int index, string partialPredicateCall) {
exists(int n, int nPat |
n = 0 and
nPat = n + 1 + max(int i | i = -1 or exists(e.getPat(i)) | i) and
nPat = n + e.getNumberOfPats() and
(
none()
or
@@ -1611,7 +1611,7 @@ private module Impl {
private Element getImmediateChildOfParam(Param e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nTypeRepr, int nPat |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nTypeRepr = nAttr + 1 and
nPat = nTypeRepr + 1 and
(
@@ -1630,7 +1630,7 @@ private module Impl {
private Element getImmediateChildOfParenExpr(ParenExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1698,7 +1698,7 @@ private module Impl {
private Element getImmediateChildOfPrefixExpr(PrefixExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1728,7 +1728,7 @@ private module Impl {
private Element getImmediateChildOfRangeExpr(RangeExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nEnd, int nStart |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nEnd = nAttr + 1 and
nStart = nEnd + 1 and
(
@@ -1762,7 +1762,7 @@ private module Impl {
private Element getImmediateChildOfRefExpr(RefExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1807,7 +1807,7 @@ private module Impl {
private Element getImmediateChildOfRestPat(RestPat e, int index, string partialPredicateCall) {
exists(int n, int nAttr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
(
none()
or
@@ -1820,7 +1820,7 @@ private module Impl {
private Element getImmediateChildOfReturnExpr(ReturnExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1836,7 +1836,7 @@ private module Impl {
private Element getImmediateChildOfSelfParam(SelfParam e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nTypeRepr, int nLifetime, int nName |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nTypeRepr = nAttr + 1 and
nLifetime = nTypeRepr + 1 and
nName = nLifetime + 1 and
@@ -1858,7 +1858,7 @@ private module Impl {
private Element getImmediateChildOfSlicePat(SlicePat e, int index, string partialPredicateCall) {
exists(int n, int nPat |
n = 0 and
nPat = n + 1 + max(int i | i = -1 or exists(e.getPat(i)) | i) and
nPat = n + e.getNumberOfPats() and
(
none()
or
@@ -1904,7 +1904,7 @@ private module Impl {
) {
exists(int n, int nField |
n = 0 and
nField = n + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = n + e.getNumberOfFields() and
(
none()
or
@@ -1934,7 +1934,7 @@ private module Impl {
private Element getImmediateChildOfTryExpr(TryExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -1950,8 +1950,8 @@ private module Impl {
private Element getImmediateChildOfTupleExpr(TupleExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nField |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nField = nAttr + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nField = nAttr + e.getNumberOfFields() and
(
none()
or
@@ -1969,7 +1969,7 @@ private module Impl {
) {
exists(int n, int nField |
n = 0 and
nField = n + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = n + e.getNumberOfFields() and
(
none()
or
@@ -1982,7 +1982,7 @@ private module Impl {
private Element getImmediateChildOfTuplePat(TuplePat e, int index, string partialPredicateCall) {
exists(int n, int nField |
n = 0 and
nField = n + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = n + e.getNumberOfFields() and
(
none()
or
@@ -1998,7 +1998,7 @@ private module Impl {
exists(int n, int nPath, int nField |
n = 0 and
nPath = n + 1 and
nField = nPath + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = nPath + e.getNumberOfFields() and
(
none()
or
@@ -2015,7 +2015,7 @@ private module Impl {
) {
exists(int n, int nField |
n = 0 and
nField = n + 1 + max(int i | i = -1 or exists(e.getField(i)) | i) and
nField = n + e.getNumberOfFields() and
(
none()
or
@@ -2040,7 +2040,7 @@ private module Impl {
private Element getImmediateChildOfTypeParam(TypeParam e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nDefaultType, int nName, int nTypeBoundList |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nDefaultType = nAttr + 1 and
nName = nDefaultType + 1 and
nTypeBoundList = nName + 1 and
@@ -2064,7 +2064,7 @@ private module Impl {
) {
exists(int n, int nAttr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
(
none()
or
@@ -2077,7 +2077,7 @@ private module Impl {
private Element getImmediateChildOfVariant(Variant e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nDiscriminant, int nFieldList, int nName, int nVisibility |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nDiscriminant = nAttr + 1 and
nFieldList = nDiscriminant + 1 and
nName = nFieldList + 1 and
@@ -2108,7 +2108,7 @@ private module Impl {
private Element getImmediateChildOfYeetExpr(YeetExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -2124,7 +2124,7 @@ private module Impl {
private Element getImmediateChildOfYieldExpr(YieldExpr e, int index, string partialPredicateCall) {
exists(int n, int nAttr, int nExpr |
n = 0 and
nAttr = n + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = n + e.getNumberOfAttrs() and
nExpr = nAttr + 1 and
(
none()
@@ -2142,8 +2142,8 @@ private module Impl {
) {
exists(int n, int nExpr, int nAttr |
n = 0 and
nExpr = n + 1 + max(int i | i = -1 or exists(e.getExpr(i)) | i) and
nAttr = nExpr + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nExpr = n + e.getNumberOfExprs() and
nAttr = nExpr + e.getNumberOfAttrs() and
(
none()
or
@@ -2161,8 +2161,8 @@ private module Impl {
) {
exists(int n, int nExpr, int nAttr, int nRepeatOperand, int nRepeatLength |
n = 0 and
nExpr = n + 1 + max(int i | i = -1 or exists(e.getExpr(i)) | i) and
nAttr = nExpr + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nExpr = n + e.getNumberOfExprs() and
nAttr = nExpr + e.getNumberOfAttrs() and
nRepeatOperand = nAttr + 1 and
nRepeatLength = nRepeatOperand + 1 and
(
@@ -2187,9 +2187,9 @@ private module Impl {
exists(int n, int nAttributeMacroExpansion, int nAsmPiece, int nAttr, int nTemplate |
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAsmPiece = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAsmPiece(i)) | i) and
nAttr = nAsmPiece + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nTemplate = nAttr + 1 + max(int i | i = -1 or exists(e.getTemplate(i)) | i) and
nAsmPiece = nAttributeMacroExpansion + e.getNumberOfAsmPieces() and
nAttr = nAsmPiece + e.getNumberOfAttrs() and
nTemplate = nAttr + e.getNumberOfTemplates() and
(
none()
or
@@ -2213,7 +2213,7 @@ private module Impl {
exists(int n, int nLabel, int nAttr, int nStmtList |
n = 0 and
nLabel = n + 1 and
nAttr = nLabel + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nLabel + e.getNumberOfAttrs() and
nStmtList = nAttr + 1 and
(
none()
@@ -2232,7 +2232,7 @@ private module Impl {
exists(int n, int nArgList, int nAttr, int nFunction |
n = 0 and
nArgList = n + 1 and
nAttr = nArgList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nArgList + e.getNumberOfAttrs() and
nFunction = nAttr + 1 and
(
none()
@@ -2254,7 +2254,7 @@ private module Impl {
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAbi = nAttributeMacroExpansion + 1 and
nAttr = nAbi + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAbi + e.getNumberOfAttrs() and
nExternItemList = nAttr + 1 and
(
none()
@@ -2283,7 +2283,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nIdentifier = nAttr + 1 and
nRename = nIdentifier + 1 and
nVisibility = nRename + 1 and
@@ -2320,7 +2320,7 @@ private module Impl {
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAssocItemList = nAttributeMacroExpansion + 1 and
nAttr = nAssocItemList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAssocItemList + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nSelfTy = nGenericParamList + 1 and
nTrait = nSelfTy + 1 and
@@ -2365,7 +2365,7 @@ private module Impl {
n = 0 and
nAttributeMacroExpansion = n + 1 and
nArgs = nAttributeMacroExpansion + 1 and
nAttr = nArgs + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nArgs + e.getNumberOfAttrs() and
nBody = nAttr + 1 and
nName = nBody + 1 and
nVisibility = nName + 1 and
@@ -2398,7 +2398,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nName = nAttr + 1 and
nTokenTree = nName + 1 and
nVisibility = nTokenTree + 1 and
@@ -2427,7 +2427,7 @@ private module Impl {
exists(int n, int nArgList, int nAttr, int nGenericArgList, int nIdentifier, int nReceiver |
n = 0 and
nArgList = n + 1 and
nAttr = nArgList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nArgList + e.getNumberOfAttrs() and
nGenericArgList = nAttr + 1 and
nIdentifier = nGenericArgList + 1 and
nReceiver = nIdentifier + 1 and
@@ -2458,7 +2458,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nItemList = nAttr + 1 and
nName = nItemList + 1 and
nVisibility = nName + 1 and
@@ -2485,7 +2485,7 @@ private module Impl {
exists(int n, int nPath, int nAttr |
n = 0 and
nPath = n + 1 and
nAttr = nPath + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nPath + e.getNumberOfAttrs() and
(
none()
or
@@ -2505,7 +2505,7 @@ private module Impl {
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAssocItemList = nAttributeMacroExpansion + 1 and
nAttr = nAssocItemList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAssocItemList + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nName = nGenericParamList + 1 and
nTypeBoundList = nName + 1 and
@@ -2551,7 +2551,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nName = nGenericParamList + 1 and
nTypeBoundList = nName + 1 and
@@ -2590,7 +2590,7 @@ private module Impl {
exists(int n, int nAttributeMacroExpansion, int nAttr, int nUseTree, int nVisibility |
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nUseTree = nAttr + 1 and
nVisibility = nUseTree + 1 and
(
@@ -2617,7 +2617,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nBody = nAttr + 1 and
nGenericParamList = nBody + 1 and
nName = nGenericParamList + 1 and
@@ -2660,10 +2660,8 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nDeriveMacroExpansion =
nAttributeMacroExpansion + 1 +
max(int i | i = -1 or exists(e.getDeriveMacroExpansion(i)) | i) and
nAttr = nDeriveMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nDeriveMacroExpansion = nAttributeMacroExpansion + e.getNumberOfDeriveMacroExpansions() and
nAttr = nDeriveMacroExpansion + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nName = nGenericParamList + 1 and
nVariantList = nName + 1 and
@@ -2707,7 +2705,7 @@ private module Impl {
n = 0 and
nLabel = n + 1 and
nLoopBody = nLabel + 1 and
nAttr = nLoopBody + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nLoopBody + e.getNumberOfAttrs() and
nIterable = nAttr + 1 and
nPat = nIterable + 1 and
(
@@ -2735,7 +2733,7 @@ private module Impl {
n = 0 and
nAttributeMacroExpansion = n + 1 and
nParamList = nAttributeMacroExpansion + 1 and
nAttr = nParamList + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nParamList + e.getNumberOfAttrs() and
nAbi = nAttr + 1 and
nFunctionBody = nAbi + 1 and
nGenericParamList = nFunctionBody + 1 and
@@ -2783,7 +2781,7 @@ private module Impl {
n = 0 and
nLabel = n + 1 and
nLoopBody = nLabel + 1 and
nAttr = nLoopBody + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nLoopBody + e.getNumberOfAttrs() and
(
none()
or
@@ -2804,7 +2802,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nPath = nAttr + 1 and
nTokenTree = nPath + 1 and
nMacroCallExpansion = nTokenTree + 1 and
@@ -2836,7 +2834,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nBody = nAttr + 1 and
nName = nBody + 1 and
nTypeRepr = nName + 1 and
@@ -2869,10 +2867,8 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nDeriveMacroExpansion =
nAttributeMacroExpansion + 1 +
max(int i | i = -1 or exists(e.getDeriveMacroExpansion(i)) | i) and
nAttr = nDeriveMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nDeriveMacroExpansion = nAttributeMacroExpansion + e.getNumberOfDeriveMacroExpansions() and
nAttr = nDeriveMacroExpansion + e.getNumberOfAttrs() and
nFieldList = nAttr + 1 and
nGenericParamList = nFieldList + 1 and
nName = nGenericParamList + 1 and
@@ -2916,7 +2912,7 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nAttr = nAttributeMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nAttributeMacroExpansion + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nName = nGenericParamList + 1 and
nTypeRepr = nName + 1 and
@@ -2963,10 +2959,8 @@ private module Impl {
|
n = 0 and
nAttributeMacroExpansion = n + 1 and
nDeriveMacroExpansion =
nAttributeMacroExpansion + 1 +
max(int i | i = -1 or exists(e.getDeriveMacroExpansion(i)) | i) and
nAttr = nDeriveMacroExpansion + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nDeriveMacroExpansion = nAttributeMacroExpansion + e.getNumberOfDeriveMacroExpansions() and
nAttr = nDeriveMacroExpansion + e.getNumberOfAttrs() and
nGenericParamList = nAttr + 1 and
nName = nGenericParamList + 1 and
nStructFieldList = nName + 1 and
@@ -3012,7 +3006,7 @@ private module Impl {
n = 0 and
nLabel = n + 1 and
nLoopBody = nLabel + 1 and
nAttr = nLoopBody + 1 + max(int i | i = -1 or exists(e.getAttr(i)) | i) and
nAttr = nLoopBody + e.getNumberOfAttrs() and
nCondition = nAttr + 1 and
(
none()

3390
rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll generated
View File

File diff suppressed because it is too large Load Diff

180
rust/ql/lib/codeql/rust/elements/internal/generated/Synth.qll generated
View File

File diff suppressed because it is too large Load Diff

6
swift/ql/.generated.list generated
View File

@@ -737,10 +737,10 @@ lib/codeql/swift/generated/KeyPathComponent.qll e11dcf952045b5e6062e24c23515cff9
lib/codeql/swift/generated/Locatable.qll 1d37fa20de71c0b9986bfd7a7c0cb82ab7bf3fda2d2008700f955ad82ce109a7 e97d4d4fb8a4800e0008cc00f60c8ed9b1ebd5f1140fd85e68b034616178d721
lib/codeql/swift/generated/Location.qll 5e20316c3e480ddfe632b7e88e016c19f10a67df1f6ae9c8f128755a6907d6f5 5a0af2d070bcb2ed53d6d0282bf9c60dc64c2dce89c21fdd485e9c7893c1c8fa
lib/codeql/swift/generated/MacroRole.qll facf907e75490d69cd401c491215e4719324d751f40ea46c86ccf24cf3663c1f 969d8d4b44e3f1a9c193a152a4d83a303e56d2dbb871fc920c47a33f699cf018
lib/codeql/swift/generated/ParentChild.qll 4d697f5372ad82380dc375a59fa0619ee56c7d88be58530147cd8e160262bbe3 e164b712a41f20d0b9986804cd753fb5e55ceb55139234d98bdb332a8f248db4
lib/codeql/swift/generated/ParentChild.qll 7fdc133bdec6cc223d5ee85e757b02c5d2e1ab121bcf269bb48c8a12a31a61e9 d8dd6e21d290a293db4db510b1523a9ea428b12f48b7574f03acf00b9ca065ef
lib/codeql/swift/generated/PureSynthConstructors.qll bc31a6c4d142fa3fbdcae69d5ba6f1cec00eb9ad92b46c8d7b91ebfa7ef6c1f4 bc31a6c4d142fa3fbdcae69d5ba6f1cec00eb9ad92b46c8d7b91ebfa7ef6c1f4
lib/codeql/swift/generated/Raw.qll f7dd5c3eb1afba1077dd6c291502e2b5dd5d18000ee581f7e3ad4f0050165c69 f042929df4651dfe587769cd3f539d07f97328c2fe17fbe19cbb8e4fbefe97f2
lib/codeql/swift/generated/Synth.qll 6af0f5778c6c6a9d9a518c00707501c3fdb3ccaa96fa06793549c2b1f28c9cbb 575829e7a2a4c7619c6d98f1b7ec47d978d0b3d77d5c1a87eae5e9f98612ef5b
lib/codeql/swift/generated/Raw.qll 6adc2ec210e91051b6d3d6c84117b827f10dbea682a18b69348d1c6cdc53629c 9ff02fcca7a7b83c85303ffc6daa00ea392da6ce1f9cb389b5053b34d4a45e4c
lib/codeql/swift/generated/Synth.qll b0084d1f573ba1b10ec8a8fab169b15f15866ecb9a6aeeeac81553a442be28e3 09efe455f3fd6b8b983b30efbd797f09af46e6f5a1a1075801650528999ed938
lib/codeql/swift/generated/SynthConstructors.qll c40f01e1331bdbe238620a41d17409cefe34a6b23066708ef5d74f8631b54f48 c40f01e1331bdbe238620a41d17409cefe34a6b23066708ef5d74f8631b54f48
lib/codeql/swift/generated/UnknownFile.qll 247ddf2ebb49ce5ed4bf7bf91a969ddff37de6c78d43d8affccaf7eb586e06f2 452b29f0465ef45e978ef8b647b75e5a2a1e53f2a568fc003bc8f52f73b3fa4d
lib/codeql/swift/generated/UnknownLocation.qll d871000b4f53ffca4f67ea23ca5626e5dcce125d62a4d4b9969e08cc974af6fc b05971d7774e60790362fb810fb7086314f40a2de747b8cb1bc823ec6494a4dd

165
swift/ql/lib/codeql/swift/generated/ParentChild.qll generated
View File

@@ -45,7 +45,7 @@ private module Impl {
) {
exists(int n, int nSpec |
n = 0 and
nSpec = n + 1 + max(int i | i = -1 or exists(e.getSpec(i)) | i) and
nSpec = n + e.getNumberOfSpecs() and
(
none()
or
@@ -66,7 +66,7 @@ private module Impl {
) {
exists(int n, int nSubscriptArgument |
n = 0 and
nSubscriptArgument = n + 1 + max(int i | i = -1 or exists(e.getSubscriptArgument(i)) | i) and
nSubscriptArgument = n + e.getNumberOfSubscriptArguments() and
(
none()
or
@@ -100,7 +100,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -115,7 +115,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -130,8 +130,8 @@ private module Impl {
) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -149,7 +149,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -162,7 +162,7 @@ private module Impl {
private Element getImmediateChildOfImportDecl(ImportDecl e, int index, string partialPredicateCall) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -177,7 +177,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -192,7 +192,7 @@ private module Impl {
) {
exists(int n, int nMember, int nInit, int nPattern |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nInit = nMember + 1 + max(int i | i = -1 or exists(e.getImmediateInit(i)) | i) and
nPattern = nInit + 1 + max(int i | i = -1 or exists(e.getImmediatePattern(i)) | i) and
(
@@ -215,7 +215,7 @@ private module Impl {
) {
exists(int n, int nMember, int nMessage |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nMessage = nMember + 1 and
(
none()
@@ -233,7 +233,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -248,7 +248,7 @@ private module Impl {
) {
exists(int n, int nMember, int nBody |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nBody = nMember + 1 and
(
none()
@@ -264,7 +264,7 @@ private module Impl {
private Element getImmediateChildOfUsingDecl(UsingDecl e, int index, string partialPredicateCall) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -279,8 +279,8 @@ private module Impl {
) {
exists(int n, int nMember, int nParam |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nParam = nMember + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nParam = nMember + e.getNumberOfParams() and
(
none()
or
@@ -298,7 +298,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -311,8 +311,8 @@ private module Impl {
private Element getImmediateChildOfMacroDecl(MacroDecl e, int index, string partialPredicateCall) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -330,7 +330,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -345,7 +345,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -362,12 +362,12 @@ private module Impl {
int n, int nGenericTypeParam, int nMember, int nSelfParam, int nParam, int nBody, int nCapture
|
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
nSelfParam = nMember + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -397,12 +397,12 @@ private module Impl {
int n, int nGenericTypeParam, int nMember, int nSelfParam, int nParam, int nBody, int nCapture
|
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
nSelfParam = nMember + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -428,7 +428,7 @@ private module Impl {
private Element getImmediateChildOfModuleDecl(ModuleDecl e, int index, string partialPredicateCall) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -443,11 +443,10 @@ private module Impl {
) {
exists(int n, int nMember, int nAccessor, int nGenericTypeParam, int nParam |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nAccessor = nMember + 1 + max(int i | i = -1 or exists(e.getAccessor(i)) | i) and
nGenericTypeParam =
nAccessor + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nParam = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nAccessor = nMember + e.getNumberOfAccessors() and
nGenericTypeParam = nAccessor + e.getNumberOfGenericTypeParams() and
nParam = nGenericTypeParam + e.getNumberOfParams() and
(
none()
or
@@ -471,12 +470,12 @@ private module Impl {
int n, int nGenericTypeParam, int nMember, int nSelfParam, int nParam, int nBody, int nCapture
|
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
nSelfParam = nMember + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -504,7 +503,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -523,8 +522,8 @@ private module Impl {
int nPropertyWrapperProjectionVar
|
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nAccessor = nMember + 1 + max(int i | i = -1 or exists(e.getAccessor(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nAccessor = nMember + e.getNumberOfAccessors() and
nPropertyWrapperBackingVarBinding = nAccessor + 1 and
nPropertyWrapperBackingVar = nPropertyWrapperBackingVarBinding + 1 and
nPropertyWrapperProjectionVarBinding = nPropertyWrapperBackingVar + 1 and
@@ -562,7 +561,7 @@ private module Impl {
) {
exists(int n, int nMember |
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nMember = n + e.getNumberOfMembers() and
(
none()
or
@@ -579,12 +578,12 @@ private module Impl {
int n, int nGenericTypeParam, int nMember, int nSelfParam, int nParam, int nBody, int nCapture
|
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
nSelfParam = nMember + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -612,8 +611,8 @@ private module Impl {
) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -634,8 +633,8 @@ private module Impl {
int nPropertyWrapperLocalWrappedVar
|
n = 0 and
nMember = n + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nAccessor = nMember + 1 + max(int i | i = -1 or exists(e.getAccessor(i)) | i) and
nMember = n + e.getNumberOfMembers() and
nAccessor = nMember + e.getNumberOfAccessors() and
nPropertyWrapperBackingVarBinding = nAccessor + 1 and
nPropertyWrapperBackingVar = nPropertyWrapperBackingVarBinding + 1 and
nPropertyWrapperProjectionVarBinding = nPropertyWrapperBackingVar + 1 and
@@ -683,8 +682,8 @@ private module Impl {
) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -700,8 +699,8 @@ private module Impl {
private Element getImmediateChildOfClassDecl(ClassDecl e, int index, string partialPredicateCall) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -717,8 +716,8 @@ private module Impl {
private Element getImmediateChildOfEnumDecl(EnumDecl e, int index, string partialPredicateCall) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -736,8 +735,8 @@ private module Impl {
) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -753,8 +752,8 @@ private module Impl {
private Element getImmediateChildOfStructDecl(StructDecl e, int index, string partialPredicateCall) {
exists(int n, int nGenericTypeParam, int nMember |
n = 0 and
nGenericTypeParam = n + 1 + max(int i | i = -1 or exists(e.getGenericTypeParam(i)) | i) and
nMember = nGenericTypeParam + 1 + max(int i | i = -1 or exists(e.getMember(i)) | i) and
nGenericTypeParam = n + e.getNumberOfGenericTypeParams() and
nMember = nGenericTypeParam + e.getNumberOfMembers() and
(
none()
or
@@ -827,8 +826,8 @@ private module Impl {
) {
exists(int n, int nBindingDecl, int nVariable, int nClosureBody |
n = 0 and
nBindingDecl = n + 1 + max(int i | i = -1 or exists(e.getBindingDecl(i)) | i) and
nVariable = nBindingDecl + 1 + max(int i | i = -1 or exists(e.getVariable(i)) | i) and
nBindingDecl = n + e.getNumberOfBindingDecls() and
nVariable = nBindingDecl + e.getNumberOfVariables() and
nClosureBody = nVariable + 1 and
(
none()
@@ -1040,7 +1039,7 @@ private module Impl {
exists(int n, int nRoot, int nComponent |
n = 0 and
nRoot = n + 1 and
nComponent = nRoot + 1 + max(int i | i = -1 or exists(e.getComponent(i)) | i) and
nComponent = nRoot + e.getNumberOfComponents() and
(
none()
or
@@ -1493,9 +1492,9 @@ private module Impl {
exists(int n, int nSelfParam, int nParam, int nBody, int nCapture |
n = 0 and
nSelfParam = n + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -1528,7 +1527,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -1584,7 +1583,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -1797,9 +1796,9 @@ private module Impl {
exists(int n, int nSelfParam, int nParam, int nBody, int nCapture |
n = 0 and
nSelfParam = n + 1 and
nParam = nSelfParam + 1 + max(int i | i = -1 or exists(e.getParam(i)) | i) and
nParam = nSelfParam + e.getNumberOfParams() and
nBody = nParam + 1 and
nCapture = nBody + 1 + max(int i | i = -1 or exists(e.getCapture(i)) | i) and
nCapture = nBody + e.getNumberOfCaptures() and
(
none()
or
@@ -2014,7 +2013,7 @@ private module Impl {
) {
exists(int n, int nArgument |
n = 0 and
nArgument = n + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = n + e.getNumberOfArguments() and
(
none()
or
@@ -2070,7 +2069,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -2088,7 +2087,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -2140,7 +2139,7 @@ private module Impl {
exists(int n, int nBase, int nArgument |
n = 0 and
nBase = n + 1 and
nArgument = nBase + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nBase + e.getNumberOfArguments() and
(
none()
or
@@ -2286,7 +2285,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -2346,7 +2345,7 @@ private module Impl {
exists(int n, int nFunction, int nArgument |
n = 0 and
nFunction = n + 1 and
nArgument = nFunction + 1 + max(int i | i = -1 or exists(e.getArgument(i)) | i) and
nArgument = nFunction + e.getNumberOfArguments() and
(
none()
or
@@ -2578,7 +2577,7 @@ private module Impl {
) {
exists(int n, int nElement |
n = 0 and
nElement = n + 1 + max(int i | i = -1 or exists(e.getElement(i)) | i) and
nElement = n + e.getNumberOfElements() and
(
none()
or
@@ -2591,7 +2590,7 @@ private module Impl {
private Element getImmediateChildOfBraceStmt(BraceStmt e, int index, string partialPredicateCall) {
exists(int n, int nVariable, int nElement |
n = 0 and
nVariable = n + 1 + max(int i | i = -1 or exists(e.getVariable(i)) | i) and
nVariable = n + e.getNumberOfVariables() and
nElement = nVariable + 1 + max(int i | i = -1 or exists(e.getImmediateElement(i)) | i) and
(
none()
@@ -2612,8 +2611,8 @@ private module Impl {
private Element getImmediateChildOfCaseStmt(CaseStmt e, int index, string partialPredicateCall) {
exists(int n, int nLabel, int nVariable, int nBody |
n = 0 and
nLabel = n + 1 + max(int i | i = -1 or exists(e.getLabel(i)) | i) and
nVariable = nLabel + 1 + max(int i | i = -1 or exists(e.getVariable(i)) | i) and
nLabel = n + e.getNumberOfLabels() and
nVariable = nLabel + e.getNumberOfVariables() and
nBody = nVariable + 1 and
(
none()
@@ -2732,7 +2731,7 @@ private module Impl {
exists(int n, int nBody, int nCatch |
n = 0 and
nBody = n + 1 and
nCatch = nBody + 1 + max(int i | i = -1 or exists(e.getCatch(i)) | i) and
nCatch = nBody + e.getNumberOfCatches() and
(
none()
or
@@ -2763,7 +2762,7 @@ private module Impl {
int n, int nVariable, int nPattern, int nWhere, int nIteratorVar, int nNextCall, int nBody
|
n = 0 and
nVariable = n + 1 + max(int i | i = -1 or exists(e.getVariable(i)) | i) and
nVariable = n + e.getNumberOfVariables() and
nPattern = nVariable + 1 and
nWhere = nPattern + 1 and
nIteratorVar = nWhere + 1 and
@@ -2813,7 +2812,7 @@ private module Impl {
exists(int n, int nExpr, int nCase |
n = 0 and
nExpr = n + 1 and
nCase = nExpr + 1 + max(int i | i = -1 or exists(e.getCase(i)) | i) and
nCase = nExpr + e.getNumberOfCases() and
(
none()
or

3360
swift/ql/lib/codeql/swift/generated/Raw.qll generated
View File

File diff suppressed because it is too large Load Diff

264
swift/ql/lib/codeql/swift/generated/Synth.qll generated
View File

File diff suppressed because it is too large Load Diff