Skip to content

Commit 9b3b9a7

Browse files
committed
Move instanceof check from charpred in CfgScope
1 parent 51d729a commit 9b3b9a7

File tree

5 files changed

+6
-8
lines changed

5 files changed

+6
-8
lines changed

.devcontainer/post_attach.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ set -xe
33

44
echo "Check installed CodeQL version"
55
CURRENT_CODEQL_BIN=$(readlink -e /usr/local/bin/codeql || echo "")
6-
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | sort --version-sort | tail -1)
6+
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | grep -v beta | sort --version-sort | tail -1)
77

88
BASE_DIR=/home/vscode/codeql-binaries
99
mkdir -p "${BASE_DIR}"

.github/workflows/build.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ jobs:
7575
- uses: actions/checkout@v2
7676
- name: Fetch CodeQL
7777
run: |
78-
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | sort --version-sort | tail -1)
78+
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | grep -v beta | sort --version-sort | tail -1)
7979
gh release download --repo https://github.com/github/codeql-cli-binaries --pattern codeql-linux64.zip "$LATEST"
8080
unzip -q codeql-linux64.zip
8181
env:
@@ -185,7 +185,7 @@ jobs:
185185
- name: Fetch CodeQL
186186
shell: bash
187187
run: |
188-
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | sort --version-sort | tail -1)
188+
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | grep -v beta | sort --version-sort | tail -1)
189189
gh release download --repo https://github.com/github/codeql-cli-binaries --pattern codeql.zip "$LATEST"
190190
unzip -q codeql.zip
191191
env:

.github/workflows/dataset_measure.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ jobs:
2525

2626
- name: Fetch CodeQL
2727
run: |
28-
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | sort --version-sort | tail -1)
28+
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | grep -v beta | sort --version-sort | tail -1)
2929
gh release download --repo https://github.com/github/codeql-cli-binaries --pattern codeql-linux64.zip "$LATEST"
3030
unzip -q codeql-linux64.zip
3131
env:

.github/workflows/qhelp.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ jobs:
2323
2424
- name: Fetch CodeQL
2525
run: |
26-
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | sort --version-sort | tail -1)
26+
LATEST=$(gh release list --repo https://github.com/github/codeql-cli-binaries | cut -f 1 | grep -v beta | sort --version-sort | tail -1)
2727
gh release download --repo https://github.com/github/codeql-cli-binaries --pattern codeql-linux64.zip "$LATEST"
2828
unzip -q codeql-linux64.zip
2929
env:

ql/lib/codeql/ruby/controlflow/ControlFlowGraph.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,7 @@ private import internal.Splitting
99
private import internal.Completion
1010

1111
/** An AST node with an associated control-flow graph. */
12-
class CfgScope extends Scope {
13-
CfgScope() { this instanceof CfgScope::Range_ }
14-
12+
class CfgScope extends Scope instanceof CfgScope::Range_ {
1513
/** Gets the CFG scope that this scope is nested under, if any. */
1614
final CfgScope getOuterCfgScope() {
1715
exists(AstNode parent |

0 commit comments

Comments
 (0)