Tom Hvitved
ac8b9739c5
Merge pull request #17686 from hvitved/rust/cfg-patterns
...
Rust: Include parameters and patterns in the CFG
2024-10-11 14:45:27 +02:00
Tom Hvitved
ffd6b9864c
Address review comments
2024-10-11 14:27:42 +02:00
Paolo Tranquilli
f3bf347bd6
Merge branch 'main' into redsun82/codegen-annotate
2024-10-11 10:38:02 +02:00
Paolo Tranquilli
c66bd72620
Rust: rename to CallExprBase
2024-10-11 09:52:30 +02:00
Tom Hvitved
756affa4aa
Rust: Fix bugs in LetExprTree and MethodCallExprTree
2024-10-10 21:05:01 +02:00
Tom Hvitved
2f14ec9f2a
Rust: Include patterns in the CFG
2024-10-10 21:05:00 +02:00
Tom Hvitved
f6f54c6e3b
Rust: Include parameters in the CFG
2024-10-10 21:04:58 +02:00
Tom Hvitved
665da3958a
Rust: Add CFG test for nested function
2024-10-10 21:04:57 +02:00
Tom Hvitved
5f353b72cd
Merge pull request #17727 from github/aibaars/modifiers
...
Rust: add extraction of all sorts of modifier tokens
2024-10-10 18:00:21 +02:00
Simon Friis Vindum
1398575b97
Merge pull request #17728 from paldepind/rust-remove-unused-types
...
Rust: Remove unused types
2024-10-10 17:33:59 +02:00
Geoffrey White
04c7319b6b
Merge pull request #17647 from geoffw0/warnings
...
Rust: More information about extractor errors and warnings
2024-10-10 16:19:15 +01:00
Paolo Tranquilli
89f43fb917
Rust: generate code
2024-10-10 14:37:40 +02:00
Paolo Tranquilli
6015524589
Rust: insert FunctionOrMethodCallExpr in annotations
2024-10-10 14:34:24 +02:00
Arthur Baars
32e9881cfb
Rust: update expected output
2024-10-10 14:25:07 +02:00
Arthur Baars
30034b4254
Rust: run 'bazel //rust/codegen'
2024-10-10 14:25:06 +02:00
Arthur Baars
b80b6aafdd
Rust: extract modifier tokens as predicates
2024-10-10 14:25:05 +02:00
Tom Hvitved
4df9cd88ef
Merge pull request #17658 from hvitved/shared/cfg-conditional-splitting
...
Shared `ConditionalCompletionSplitting` implementation
2024-10-10 13:21:38 +02:00
Simon Friis Vindum
0c9a2896d8
Rust: Remove unused types
2024-10-10 11:47:58 +02:00
Cornelius Riemenschneider
6322270926
Merge branch 'main' into criemen/flip-enable-plus
2024-10-10 09:54:16 +02:00
Geoffrey White
25b3d76f71
Merge pull request #17718 from geoffw0/unusedvar4
...
Rust: Restrict variables to lowercase (for now).
2024-10-10 08:22:52 +01:00
Geoffrey White
09c2f901f4
Merge pull request #17525 from geoffw0/unreachable
...
Rust: Unreachable code query
2024-10-10 08:22:08 +01:00
Tom Hvitved
6a87eb0c73
Merge pull request #17696 from hvitved/rust/captured-variables
...
Rust: Account for captured variables
2024-10-09 19:42:03 +02:00
Geoffrey White
719cef8298
Merge branch 'main' into unreachable
2024-10-09 17:06:11 +01:00
Geoffrey White
5ac9c2db74
Rust: Accept variables test change.
2024-10-09 17:00:15 +01:00
Geoffrey White
dfeb35fe1a
Rust: Move the restriction to variableDecl.
2024-10-09 16:21:12 +01:00
Geoffrey White
f171eeb229
Rust: Restrict 'unreachable' to nodes intended to be part of the CFG.
2024-10-09 15:37:10 +01:00
Geoffrey White
a66f31d844
Rust: Restrict variables to lowercase (for now).
2024-10-09 15:14:27 +01:00
Tom Hvitved
918e435a48
Merge pull request #17690 from hvitved/rust/ast-consistency-queries
...
Rust: Add AST consistency queries
2024-10-09 15:54:51 +02:00
Tom Hvitved
04d1c82005
Merge pull request #17689 from hvitved/rust/print-ast
...
Rust: `PrintAst` improvements
2024-10-09 15:54:30 +02:00
Cornelius Riemenschneider
4c21444dd5
Bazel: Flip --incompatible_use_plus_in_repo_names.
...
We've hardcoded the tilde in a lot of places :(
This improves performance on Windows and gets us ready for Bazel 8.
We need an upgrade of rules_rust for this to work.
2024-10-09 14:04:05 +02:00
Geoffrey White
f3d727fadc
Rust: Correct spurious annotations.
2024-10-09 11:52:24 +01:00
Geoffrey White
fa1c92dbe7
Rust: Another case worth having.
2024-10-09 11:50:29 +01:00
Geoffrey White
7a6eabc8a3
Rust: Additional test cases.
2024-10-09 11:31:44 +01:00
Tom Hvitved
3d95369608
Shared ConditionalSplitting implementation
2024-10-09 11:02:13 +02:00
Tom Hvitved
11016e193c
Rust: PrintAst improvements
2024-10-09 10:41:30 +02:00
Geoffrey White
41218fb89f
Rust: Test spacing / variable names.
2024-10-09 09:17:24 +01:00
Tom Hvitved
5afd2d5bf0
Rust: Account for captured variables
2024-10-09 10:17:01 +02:00
Tom Hvitved
a3a0c2b269
Rust: Add more variable tests
2024-10-09 10:17:00 +02:00
Tom Hvitved
fcf1b6d6f5
Merge pull request #17657 from hvitved/rust/cfg-conditional-splitting
...
Rust: Implement `ConditionalCompletionSplitting`
2024-10-08 16:21:14 +02:00
Tom Hvitved
08d6d54961
Rust: Add AST consistency queries
2024-10-08 15:00:38 +02:00
Geoffrey White
70d530a49c
Rust: Exclude nodes that aren't part of the CFG.
2024-10-08 13:52:15 +01:00
Geoffrey White
a7dbe29448
Rust: Add parenthesis example to test.
2024-10-08 13:50:17 +01:00
Geoffrey White
7235ba8f91
Rust: Fix test compilation errors.
2024-10-08 13:38:33 +01:00
Geoffrey White
3b1d917c2b
Rust: Autoformat.
2024-10-08 13:30:28 +01:00
Tom Hvitved
cb1ca4c75c
Update rust/ql/lib/codeql/rust/controlflow/internal/Completion.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-10-08 13:41:24 +02:00
Geoffrey White
6bde26d9fd
Rust: Switch firstUnreachable to hvitved's suggested implementation.
2024-10-08 12:07:44 +01:00
Geoffrey White
5d7a92cf13
Rust: Add example from discussion.
2024-10-08 12:00:53 +01:00
Geoffrey White
40096ebb62
Rust: More cleanup after merge.
2024-10-08 11:46:45 +01:00
Geoffrey White
9e3f4cd183
Rust: Accept test changes after merging main.
2024-10-08 11:43:31 +01:00
Geoffrey White
483370d5f4
Merge branch 'main' into unreachable
2024-10-08 11:40:03 +01:00
