Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/main' into criemen/pytest-java
Browse files Browse the repository at this point in the history
  • Loading branch information
criemen committed Aug 29, 2024
2 parents dd7f757 + 0df0d8a commit 5ecc6f9
Show file tree
Hide file tree
Showing 219 changed files with 10,890 additions and 1,185 deletions.
2 changes: 1 addition & 1 deletion .bazelversion
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.2.1
5f5d70b6c4d2fb1a889479569107f1692239e8a7
4 changes: 2 additions & 2 deletions .github/workflows/cpp-swift-analysis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
with:
languages: cpp
config-file: ./.github/codeql/codeql-config.yml

- name: "[Ubuntu] Remove GCC 13 from runner image"
shell: bash
run: |
Expand All @@ -48,7 +48,7 @@ jobs:
- name: "Build Swift extractor using Bazel"
run: |
bazel clean --expunge
bazel run //swift:create-extractor-pack --nouse_action_cache --noremote_accept_cached --noremote_upload_local_results --spawn_strategy=local --features=-layering_check
bazel run //swift:create-extractor-pack --nouse_action_cache --noremote_accept_cached --noremote_upload_local_results --spawn_strategy=local
bazel shutdown
- name: Perform CodeQL Analysis
Expand Down
17 changes: 17 additions & 0 deletions cpp/downgrades/02a123a1a681f98cf502f189a2a79b0dfb398e59/exprs.ql
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
class Expr extends @expr {
string toString() { none() }
}

class Location extends @location_expr {
string toString() { none() }
}

predicate isExprWithNewBuiltin(Expr expr) {
exists(int kind | exprs(expr, kind, _) | 385 <= kind and kind <= 388)
}

from Expr expr, int kind, int kind_new, Location location
where
exprs(expr, kind, location) and
if isExprWithNewBuiltin(expr) then kind_new = 1 else kind_new = kind
select expr, kind_new, location
Loading

0 comments on commit 5ecc6f9

Please sign in to comment.