Commit Graph

4096 Commits

Author SHA1 Message Date
Paolo Tranquilli
b05c52cba8 Rust: Split downgrade preservation test
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:56 +02:00
Paolo Tranquilli
d8d546c0be Rust: Test dbscheme downgrade preservation
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:56 +02:00
Paolo Tranquilli
e04aacc256 Rust: Move upgrade test to separate upgrade-tests directory
Avoids issues with nested qlpack.yml breaking `codeql pack create` for the lib pack.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:56 +02:00
Paolo Tranquilli
76047ad883 Fix unsafe stash handling in run-test.sh
Only stash when there are actual changes (including untracked files),
and only pop the specific stash entry we created.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:55 +02:00
Paolo Tranquilli
5fe938a534 Fix REPO_ROOT computation in run-test.sh
Use `git rev-parse --show-toplevel` instead of fragile relative path.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:55 +02:00
Paolo Tranquilli
ac4dcd536a Rust: Add manual regression test for dbscheme upgrade
Adds a test directory with queries that verify properties are preserved
when upgrading databases from rust-analyzer 0.0.301 to 0.0.328.

This is a one-off manual test (not yet in CI), but could serve as the
foundation for a general upgrade testing strategy.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:55 +02:00
Paolo Tranquilli
63d8bb7d5b Rust: Format downgrade query
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-28 09:00:54 +02:00
Paolo Tranquilli
b89d9ad1e0 Rust: Drop locations for downgraded comments
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-27 10:34:58 +02:00
Paolo Tranquilli
f4faf4cd45 Rust: Filter downgraded comments on removed nodes
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-27 10:32:22 +02:00
Paolo Tranquilli
25ab2e0280 Rust: Add full downgrade script for dbscheme migration
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-27 09:33:18 +02:00
Paolo Tranquilli
7f2bda1066 Rust: Add full upgrade script for dbscheme migration
Adds upgrade.ql with transformations for all schema changes from
rust-analyzer 0.0.301 to 0.0.328:
- Meta split into PathMeta/KeyValueMeta/TokenTreeMeta/UnsafeMeta
- TraitAlias merged into Trait
- BlockExpr.isTry() -> TryBlockModifier
- StructField.getDefault() -> getDefaultVal() returning ConstArg
- Variant.getDiscriminant() -> getConstArg() returning ConstArg
- FormatArgsArg.getName() -> getArgName() returning FormatArgsArgName

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-26 18:17:38 +02:00
Paolo Tranquilli
e87c03463d Merge branch 'main' into tausbn/rust-upgrade-to-rust-analyzer-0.0.328 2026-05-26 15:06:15 +02:00
Paolo Tranquilli
a2ecf65711 Rust: accept test changes 2026-05-22 17:14:42 +02:00
Óscar San José
996e79131e Merge branch 'main' into post-release-prep/codeql-cli-2.25.5 2026-05-22 16:32:30 +02:00
Paolo Tranquilli
60bffd01ce Merge origin/main into rust analyzer upgrade
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-22 13:46:00 +02:00
Tom Hvitved
c70007607a Merge pull request #21850 from hvitved/type-inference-unify-base-type
Type inference: Unify `getABaseTypeMention` and `conditionSatisfiesConstraint`
2026-05-22 13:44:18 +02:00
github-actions[bot]
9f64000962 Post-release preparation for codeql-cli-2.25.5 2026-05-18 15:20:31 +00:00
github-actions[bot]
e38616a2ef Release preparation for version 2.25.5 2026-05-18 12:05:32 +00:00
Geoffrey White
a4b2c0f6fd Update change notes (Copilot's suggestions). 2026-05-15 09:24:29 +01:00
Geoffrey White
59dbd68a5e Add change notes. 2026-05-14 14:46:05 +01:00
Tom Hvitved
3f7b50ebba Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint 2026-05-13 16:24:36 +02:00
Geoffrey White
af0124f0f1 Merge branch 'main' into extsensitive 2026-05-11 09:47:29 +01:00
Paolo Tranquilli
f9e42ac443 Merge pull request #21794 from github/post-release-prep/codeql-cli-2.25.4
Post-release preparation for codeql-cli-2.25.4
2026-05-07 14:43:24 +02:00
Geoffrey White
f2f4f4cce3 Shared: Add 'security_code' sensitive data heuristic. 2026-05-06 14:48:55 +01:00
Geoffrey White
5ed78d1a4a Shared: Fix and simplify the exclusion for 'encrypted' values. 2026-05-06 14:43:52 +01:00
Geoffrey White
6e2fb6f0ff Shared: Fix for 'coauthor'. 2026-05-06 14:34:18 +01:00
Geoffrey White
213ab902cd Shared: Fix for 'api_tok'. 2026-05-06 14:34:15 +01:00
Geoffrey White
b60ce3cf04 Shared: Fix for 'profile'. 2026-05-06 14:33:25 +01:00
Geoffrey White
cb84e633fa Shared: Fix for 'wildcard'. 2026-05-06 14:32:24 +01:00
Geoffrey White
07d4df18b9 Shared: Add 'card.?no' sensitive data heuristic. 2026-05-06 14:32:21 +01:00
Geoffrey White
d95001f406 Rust: Additional test cases for sensitive data heuristics. 2026-05-06 14:31:47 +01:00
Tom Hvitved
00fb11b028 Merge pull request #21778 from hvitved/rust/type-inference-verbose-type-path-expectations
Rust: Use verbose type paths in inline expectation comments
2026-05-05 20:23:25 +02:00
github-actions[bot]
7610277199 Post-release preparation for codeql-cli-2.25.4 2026-05-05 10:10:06 +00:00
github-actions[bot]
88e1d86c27 Release preparation for version 2.25.4 2026-05-05 09:34:30 +00:00
Tom Hvitved
4c1461ad5b Merge pull request #21786 from hvitved/inline-test-ignore-tags
Inline test expectations: Rename `tagIsOptional` to `tagIsIgnored`
2026-05-05 09:01:58 +02:00
Tom Hvitved
80ccdcc696 Inline test expectations: Rename tagIsOptional to tagIsIgnored 2026-05-04 11:21:33 +02:00
Tom Hvitved
a291548fd8 Update rust/ql/test/library-tests/type-inference/main.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
2026-04-30 14:31:24 +02:00
Tom Hvitved
e1cd708c75 Rust: Use verbose type paths in inline expectation comments 2026-04-30 13:54:09 +02:00
Jack Nørskov Jørgensen
073529a951 Move generated MaDs for Rust into modelgenerator/ 2026-04-24 13:24:31 +02:00
Tom Hvitved
e60275c4de Rust: Refine implSiblings
Consider two implementations of the same trait to be siblings when the
type being implemented by one is an instantiation of the type being
implemented by the other.
2026-04-22 13:32:56 +02:00
Owen Mansel-Chan
6efb21314a Merge pull request #21523 from owen-mc/docs/mad/barriers
Document models-as-data barriers and barrier guards and add change notes
2026-04-21 13:49:19 +01:00
github-actions[bot]
a0bab539bb Post-release preparation for codeql-cli-2.25.3 2026-04-20 12:40:34 +00:00
github-actions[bot]
c861d99802 Release preparation for version 2.25.3 2026-04-20 09:27:23 +00:00
Taus
f66f82ce59 Rust: fix downgrade script - add missing block_expr_try_block_modifiers
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-16 20:31:11 +00:00
Taus
ac27c20711 Rust: fix consistency test failures from rust-analyzer upgrade
- Exclude macro-expanded and attribute paths from PathResolutionConsistency
  (tokio::main and similar attribute macros resolve to multiple proc macro fns)
- Exclude "macro expansion failed" warnings from ExtractionConsistency
  (compile_error! and undefined macros are expected to fail expansion)
- Update pre-existing consistency expectations (net multipleResolvedTargets)
- Update type-inference.expected for new RA results

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-16 14:12:59 +00:00
Tom Hvitved
ee34e3353d Merge pull request #21698 from hvitved/rust/type-inference-index-expr
Rust: Replace special handling of index expressions in type inference
2026-04-16 09:03:06 +02:00
Taus
1bd08217fa Rust: fix downgrade script (same format_args_arg_names issue)
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-15 19:25:40 +00:00
Taus
6057c79231 Rust: fix upgrade script and update test expectations
- Remove format_args_arg_names from upgrade delete list (table exists in both schemas with different columns)
- Accept updated .expected files for schema changes

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-15 16:58:12 +00:00
Taus
87a0ed190f Rust: fix LoadCargoConfig defaults (proc_macro_processes must be >= 1)
Setting proc_macro_processes to 0 causes an index-out-of-bounds panic
in ProcMacroServerPool::new when the proc macro server is enabled.
Use the same defaults as rust-analyzer itself (1 each).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-15 15:29:00 +00:00
Taus
87472288c3 Rust: fix formatting and codegen drift
Re-run cargo fmt after clippy --fix to ensure consistent formatting.
Re-run codegen to update generated file tracking for MetaImpl.qll.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-04-15 15:12:41 +00:00