Geoffrey White
|
7c2c5ee1fa
|
Rust: Fix expected consistency results.
|
2024-11-08 11:22:35 +00:00 |
|
Geoffrey White
|
fc444f1f9a
|
Merge branch 'main' into unusedvar8
|
2024-11-08 11:20:12 +00:00 |
|
Geoffrey White
|
04926df6ea
|
Rust: Add rust/diagnostics/unresolved-macro-calls diagnostic query.
|
2024-11-08 10:19:43 +00:00 |
|
Geoffrey White
|
7b265b2df3
|
Rust: Add a deliberately unresolvable macro call to the test.
|
2024-11-08 09:53:32 +00:00 |
|
Geoffrey White
|
7279cc42f8
|
Rust: Add resolved macros to rust/summary/summary-stats.
|
2024-11-08 09:49:47 +00:00 |
|
Simon Friis Vindum
|
f2569c45a9
|
Merge pull request #17921 from paldepind/rust-df-enclosing-callable
Rust: Implement enclosing callable
|
2024-11-08 10:36:59 +01:00 |
|
Geoffrey White
|
df7bcfd116
|
Rust: Accept dataflow consistency check changes.
|
2024-11-07 09:54:39 +00:00 |
|
Geoffrey White
|
b3f7a8a46f
|
Merge pull request #17908 from geoffw0/dfcons
Rust: Expose counts of data flow inconsistencies
|
2024-11-06 19:11:04 +00:00 |
|
Geoffrey White
|
fbfdd57383
|
Rust: Additional test cases for rust/dead-code.
|
2024-11-06 17:43:04 +00:00 |
|
Geoffrey White
|
a8b1cb3243
|
Rust: Make it so that all of the test functions may return.
|
2024-11-06 17:23:01 +00:00 |
|
Simon Friis Vindum
|
dadc6059a8
|
Rust: Implement enclosing callable
|
2024-11-06 16:23:24 +01:00 |
|
Geoffrey White
|
bf0e1008ce
|
Rust: Move some test cases together.
|
2024-11-06 13:14:52 +00:00 |
|
Simon Friis Vindum
|
60986d8c9b
|
Rust: Fix unique type data flow inconsistency
|
2024-11-06 13:48:10 +01:00 |
|
Geoffrey White
|
93836a55e2
|
Rust: Clean up code / clarify responsibilities and fix the issue in rust/unused-value as well.
|
2024-11-05 15:16:59 +00:00 |
|
Geoffrey White
|
278760c735
|
Rust: Add another exception to rust/unused-variable.
|
2024-11-05 14:46:32 +00:00 |
|
Geoffrey White
|
35ffd0cc9c
|
Rust: Add more test cases for unused variables (inspired by real world FPs).
|
2024-11-05 14:07:10 +00:00 |
|
Geoffrey White
|
3091083705
|
Rust: Call all the test cases.
|
2024-11-05 11:02:38 +00:00 |
|
Geoffrey White
|
088dd50f1f
|
Rust: Update tests.
|
2024-11-05 10:30:41 +00:00 |
|
Geoffrey White
|
c8c747a110
|
Rust: Add total data flow inconsistencies to rust/summary/summary-statistics.
|
2024-11-04 19:10:44 +00:00 |
|
Geoffrey White
|
30cc55005d
|
Rust: Add rust/diagnostics/data-flow-consistency-counts query for data flow inconsistency counts.
|
2024-11-04 19:09:30 +00:00 |
|
Simon Friis Vindum
|
7f344fab78
|
Rust: Add data flow consistency queries
|
2024-11-04 10:17:50 +01:00 |
|
Tom Hvitved
|
c4adec3010
|
Address review comment
|
2024-11-01 15:28:17 +01:00 |
|
Tom Hvitved
|
d0f9a0b9ce
|
Rust: Add another unused-value test
|
2024-10-31 11:43:33 +01:00 |
|
Tom Hvitved
|
55a6ed7e8a
|
Rust: Include link to variable in unused value query
|
2024-10-31 11:42:44 +01:00 |
|
Tom Hvitved
|
2b340b18dd
|
Rust: Exclude results inside macro expansions from unused entity queries
|
2024-10-31 11:42:43 +01:00 |
|
Tom Hvitved
|
fec31a6da4
|
Rust: Include variable name in Unused{Variable,Value}.ql
|
2024-10-31 11:42:41 +01:00 |
|
Tom Hvitved
|
baeffa2345
|
Update rust/ql/test/query-tests/unusedentities/unreachable.rs
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-10-29 15:00:09 +01:00 |
|
Tom Hvitved
|
dd520fea47
|
Rust: Post-processing query for inline test expectations
|
2024-10-29 13:37:04 +01:00 |
|
Tom Hvitved
|
c5d699cb6b
|
Merge pull request #17857 from geoffw0/unreachable3
Rust: Fix rust/dead-code
|
2024-10-29 13:35:10 +01:00 |
|
Tom Hvitved
|
7ddc8f087d
|
Merge pull request #17786 from paldepind/rust-saa-additions
Rust: SSA additions
|
2024-10-29 09:51:38 +01:00 |
|
Geoffrey White
|
bf5a0b7bd0
|
Rust: Rewrite UnreachableCode.ql to be more robust.
|
2024-10-28 14:36:42 +00:00 |
|
Simon Friis Vindum
|
cab916453d
|
Rust: Update unused value expected test result
|
2024-10-28 12:18:00 +01:00 |
|
Geoffrey White
|
e5818f6f2e
|
Rust: Fix unused value cases in the unreachable test (they're not interesting, just distract from the point of these tests.
|
2024-10-28 10:29:31 +00:00 |
|
Geoffrey White
|
72606d5a59
|
Rust: Add missing annotations to unreachable test.
|
2024-10-28 10:22:46 +00:00 |
|
Simon Friis Vindum
|
f7a45e6650
|
Rust: Don't consider parameters in trait method definitions without bodies as variables
|
2024-10-25 15:56:58 +02:00 |
|
Simon Friis Vindum
|
a5ce3c1570
|
Rust: Move trait tests for unused entities into main.rs
|
2024-10-25 15:15:49 +02:00 |
|
Arthur Baars
|
9dc5e2fa36
|
Merge pull request #17791 from github/aibaars/rust-format-templates
Rust: parse formatting templates
|
2024-10-25 12:42:35 +02:00 |
|
Paolo Tranquilli
|
c79f8180f3
|
Rust: move down options in query-tests
|
2024-10-24 17:14:48 +02:00 |
|
Arthur Baars
|
be41ca5d4e
|
Rust: update expected output
|
2024-10-24 15:13:19 +02:00 |
|
Paolo Tranquilli
|
3f8d438851
|
Rust: move qltest to rust code, add options with cargo check
|
2024-10-24 12:55:23 +02:00 |
|
Simon Friis Vindum
|
a1ebf98552
|
Merge branch 'main' into rust-cfg-fixes
|
2024-10-21 10:12:07 +02:00 |
|
Simon Friis Vindum
|
3ae04752c4
|
Rust: Accept less CFG inconsistencies
|
2024-10-21 10:07:11 +02:00 |
|
Simon Friis Vindum
|
4ddc7a4592
|
Rust: Update unused value expected results
|
2024-10-18 15:49:52 +02:00 |
|
Simon Friis Vindum
|
b665f45ffa
|
Merge branch 'main' into unreachable2
|
2024-10-18 15:13:40 +02:00 |
|
Arthur Baars
|
6e197b5802
|
Merge pull request #17773 from geoffw0/unusedval2
Rust: Implement UnusedValue.ql (2)
|
2024-10-17 21:03:24 +02:00 |
|
Geoffrey White
|
e1aaa136b2
|
Rust: Add variants with pattern matching for unreachable_let_1 and 2.
|
2024-10-17 15:38:47 +01:00 |
|
Geoffrey White
|
3d0c86e176
|
Rust: Test spacing.
|
2024-10-17 15:37:03 +01:00 |
|
Geoffrey White
|
e21959d7bb
|
Rust: Add more unreachable test cases.
|
2024-10-16 17:34:57 +01:00 |
|
Geoffrey White
|
a92de0df93
|
Rust: Test spacing.
|
2024-10-16 16:56:12 +01:00 |
|
Geoffrey White
|
7e2542bd74
|
Rust: Accept consistency check failures.
|
2024-10-16 14:32:16 +01:00 |
|