Commit Graph

1233 Commits

Author SHA1 Message Date
Paolo Tranquilli
83e442a266 Rust/Ruby: run cargo upgrade --incompatible --pinned 2025-02-25 13:31:16 +01:00
Paolo Tranquilli
d2105a7528 Shared: format code again 2025-02-25 13:31:06 +01:00
Paolo Tranquilli
1bcc6ddb32 Rust/Ruby/Python: apply clippy lints 2025-02-25 13:21:28 +01:00
Paolo Tranquilli
6089a75262 Rust/Ruby/Python: format code 2025-02-25 13:19:03 +01:00
Paolo Tranquilli
eff87d24fa Rust/Ruby/Python: update rustc and edition 2025-02-25 13:15:19 +01:00
Asger F
694f01ab78 Fix column count and add clarifying comment 2025-02-25 11:57:01 +01:00
Anders Schack-Mulligen
b1b72b73ed SSA: Add qldoc. 2025-02-25 10:35:57 +01:00
Anders Schack-Mulligen
f00f2c6f47 SSA: Deprecate public SsaDefinitionExtNode and SsaInputNode. 2025-02-25 10:03:43 +01:00
Anders Schack-Mulligen
57c4fd6f25 JS: Combine phi reads and ssa input nodes into SynthReadNode class. 2025-02-25 09:23:53 +01:00
Geoffrey White
24411b61e9 Fix typo. 2025-02-24 13:59:22 +00:00
Anders Schack-Mulligen
0583d85f20 C#: Remove getDefinitionExt references. 2025-02-24 14:22:59 +01:00
Anders Schack-Mulligen
09454f9f14 SSA: Remove unused. 2025-02-24 13:02:03 +01:00
Anders Schack-Mulligen
782b6cfb9a SSA: Fix bug in guards for ssa input nodes. 2025-02-24 13:00:06 +01:00
Anders Schack-Mulligen
88fe4faf9d SSA: Remove nodes that are no longer used. 2025-02-24 11:00:48 +01:00
Anders Schack-Mulligen
09b2aeb53a SSA: Replace use-use step implementation in data-flow integration. 2025-02-24 10:58:14 +01:00
Asger F
e2fe74ccd6 JS: Add support for RelatedLocation tags 2025-02-21 14:44:45 +01:00
Anders Schack-Mulligen
9acb58e8c2 SSA: Add SsaNode predicates that don't mention DefinitionExt. 2025-02-21 14:43:51 +01:00
Anders Schack-Mulligen
1c616d10d4 Merge pull request #18819 from aschackmull/ssa/refactor-phiread3
Ssa: Refactor shared SSA in preparation for eliminating phi-read definitions
2025-02-21 08:56:38 +01:00
Anders Schack-Mulligen
8c0cc077c8 Ssa: Fix qldoc duplicate word. 2025-02-20 15:49:23 +01:00
Tom Hvitved
3bf424b07d CFG: Prune ConditionalCompletionSplitting for unnecessary splits 2025-02-20 10:18:13 +01:00
Anders Schack-Mulligen
b76e5f55c6 SSA: Deprecate unused predicate. 2025-02-19 16:41:49 +01:00
Anders Schack-Mulligen
cf2136fbc7 SSA: Export simple firstUse and adjacentUseUse predicates. 2025-02-19 16:17:22 +01:00
Anders Schack-Mulligen
35f50bac97 SSA: Reimplement use-use. 2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen
d6dc91d191 SSA: Inline predicate to simplify negation. 2025-02-18 14:01:20 +01:00
Anders Schack-Mulligen
411aff6748 SSA: Refactor ranking into parameterised module. 2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen
11166fc42d SSA: Restrict phi-read creation to be based on reachable reads. 2025-02-18 14:01:19 +01:00
Anders Schack-Mulligen
d5ac5b4654 SSA: Replace uncertainWriteDefinitionInput implementation.
This yields a tiny bit of additional tuples consistent with the prior
Java implementation.
2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen
a4fee2e299 SSA: Minor perf tweak to reduce tuple duplication. 2025-02-18 14:01:18 +01:00
Anders Schack-Mulligen
7e441d9eca SSA: Fold getImmediateBasicBlockDominator into loop-invariant predicate. 2025-02-18 14:01:17 +01:00
Anders Schack-Mulligen
77ccff6be8 SSA: Replace exported def-reaches predicates (behaviour-preserving). 2025-02-18 14:01:17 +01:00
Anders Schack-Mulligen
6e272d07af SSA: Ignore phi-reads in the new def-reaches module. 2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen
ea08c60326 SSA: Copy 3 predicates from the outer scope verbatim into the new Reaches module. 2025-02-18 14:01:16 +01:00
Anders Schack-Mulligen
613323ee3a SSA: Copy parts of SsaDefReaches verbatim to new module. 2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen
81b3035160 SSA: Inline predicate 2025-02-18 14:01:15 +01:00
Anders Schack-Mulligen
f80cd97232 SSA: Factor out phi-read construction in its own predicate. 2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen
5723d27428 SSA: Make inReadDominanceFrontier a bit smaller without affecting phi-read creation. 2025-02-18 14:01:14 +01:00
Anders Schack-Mulligen
c5e28842fb SSA: Remove superfluous column from liveAtRank. 2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen
b62432fc80 SSA: Remove superfluous boolean. 2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen
36613e150b SSA: Remove superfluous conjunct (implied by refRank). 2025-02-18 14:01:13 +01:00
Anders Schack-Mulligen
3822d149af SSA: Elaborate qldoc. 2025-02-18 14:01:12 +01:00
github-actions[bot]
ad24f94a77 Post-release preparation for codeql-cli-2.20.5 2025-02-17 17:58:24 +00:00
github-actions[bot]
6f4562f3bd Release preparation for version 2.20.5 2025-02-17 16:55:54 +00:00
Paolo Tranquilli
e1f92b466f Merge pull request #18608 from github/aibaars/tracing
Rust: use tracing/tracing-subscriber for logging
2025-02-14 10:36:54 +01:00
Tom Hvitved
02fd23e53a Rust extractors: Normalize drive letter paths with a trailing / 2025-02-13 14:02:39 +01:00
Asger F
654c6bfec7 Merge pull request #18735 from asgerf/inline-test-non-location
Test: Support arbitrary locations in inline test post-processor
2025-02-12 10:30:50 +01:00
Arthur Baars
5621eecc86 Rust: config: replace verbose with verbosity 2025-02-12 10:27:33 +01:00
Arthur Baars
c602e82ac4 Rust: use tracing-subscriber 2025-02-12 10:27:29 +01:00
Asger F
c306f44589 Remove override of final predicate 2025-02-11 17:07:09 +01:00
Asger F
80e79b11f7 Apply suggestions from code review
Co-authored-by: Tom Hvitved <hvitved@github.com>
2025-02-11 16:53:13 +01:00
Arthur Baars
7e569b4fb2 Merge pull request #18713 from github/aibaars-patch-2
TreeSitter extractors: log fewer lines
2025-02-11 14:36:36 +01:00