985 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	5a986f5327	SSA: Remove empty predicates and dead code.	2025-03-28 12:00:38 +01:00
Anders Schack-Mulligen	8aedd63b9e	Rust: Add ssaDefHasSource.	2025-03-28 11:57:28 +01:00
Anders Schack-Mulligen	dafed9f465	Rust: Remove dead code.	2025-03-28 11:57:27 +01:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
Tom Hvitved	f2f5739cc7	Merge pull request #19123 from hvitved/rust/path-resolution-crate-non-source ... Rust: Also resolve `crate` paths in non-source files	2025-03-28 11:45:36 +01:00
Arthur Baars	7fc7b7cc04	Rust: fix CleartextLogging query	2025-03-27 18:38:57 +00:00
Paolo Tranquilli	cf63dae608	Merge branch 'main' into redsun82/codegen-rename-dbscheme	2025-03-27 15:12:16 +01:00
Geoffrey White	4e496fe7b2	Rust: Lets just not model 'drop' incorrectly, for now.	2025-03-27 12:25:08 +00:00
Simon Friis Vindum	533fdcf332	Rust: Remove unnecessary seperator	2025-03-27 12:56:54 +01:00
Simon Friis Vindum	0d75054955	Rust: Implement toString on type aliases and add docs	2025-03-27 11:34:39 +01:00
Arthur Baars	9dd7b20db7	Merge pull request #18960 from github/aibaars/rust-tainted-path ... Rust: TaintedPath query	2025-03-27 10:37:36 +01:00
Geoffrey White	c84e2cd7cb	Rust: Reduce the workaround (fixes duplicate results).	2025-03-26 15:40:45 +00:00
Geoffrey White	56f330d545	Merge branch 'main' into deallocation	2025-03-26 14:58:32 +00:00
Arthur Baars	bf76505880	Rust: address comments	2025-03-26 13:28:44 +01:00
Tom Hvitved	284df7fcf3	Rust: Also resolve crate paths in non-source files	2025-03-26 11:29:34 +01:00
Paolo Tranquilli	2a81cc9567	Merge branch 'main' into redsun82/rust-analyzer-update	2025-03-26 09:33:38 +01:00
Tom Hvitved	f45eca77fa	Address review comments	2025-03-26 09:03:22 +01:00
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Tom Hvitved	b4926475d3	Address review comment	2025-03-26 08:44:03 +01:00
Paolo Tranquilli	7cfed3c4a7	Merge branch 'main' into redsun82/rust-analyzer-update	2025-03-25 18:29:39 +01:00
Anders Schack-Mulligen	d5d0274ce7	Java/SSA: Keep proper distinction between cached stages.	2025-03-25 13:43:55 +01:00
Tom Hvitved	d6d3028e5a	Rust: Support Argument[x] MaD source definitions	2025-03-25 09:08:40 +01:00
Tom Hvitved	0f1aee025c	Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate ... Rust: Path resolution improvements	2025-03-24 14:14:12 +01:00
Tom Hvitved	3f1f37fd5f	Address review comments	2025-03-24 10:53:38 +01:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Paolo Tranquilli	7cf3cac24a	Rust: reinstate Variant as Addressable	2025-03-20 16:55:37 +01:00
Paolo Tranquilli	ea11b08f28	Rust: rerun code generation	2025-03-20 16:51:35 +01:00
Simon Friis Vindum	b2fc4f80fb	Rust: Adjustments to type inference	2025-03-20 16:38:06 +01:00
Arthur Baars	b10a296a93	Rust: add more path-injection sinks	2025-03-20 16:30:47 +01:00
Paolo Tranquilli	b48d9a255e	Rust: undo rename of Path::segment to Path::part	2025-03-20 16:30:35 +01:00
Geoffrey White	5e18e1be11	Rust: Autofix and US spelling.	2025-03-20 15:03:55 +00:00
Geoffrey White	7ceb76441a	Rust: Improve the source to account for conversions.	2025-03-20 14:26:10 +00:00
Geoffrey White	be6d0d1f86	Rust: Work around data flow source issue.	2025-03-20 14:26:09 +00:00
Geoffrey White	c2ee4211e5	Rust: Add more models.	2025-03-20 14:26:08 +00:00
Geoffrey White	dcd016f5be	Rust: Initial version of the query.	2025-03-20 14:26:06 +00:00
Geoffrey White	a139b3734c	Rust: Split lang-core.model.yml into lang-core and lang-alloc.	2025-03-20 14:26:05 +00:00
Simon Friis Vindum	659077769b	Merge pull request #19062 from paldepind/rust-ti-1 ... Rust: Improve handling of trait bounds	2025-03-20 14:38:03 +01:00
Tom Hvitved	3142dbb040	Rust: Rework visibility handling in path resolution	2025-03-20 14:14:53 +01:00
Tom Hvitved	b2fc7e771f	Rust: Handle super in use statements	2025-03-20 14:14:33 +01:00
Tom Hvitved	8044b0d03c	Rust: Exclude macro call paths from resolvePath	2025-03-20 14:13:13 +01:00
Tom Hvitved	7c2bafeb17	Rust: Handle self in use statements	2025-03-20 14:13:12 +01:00
Tom Hvitved	c91176116f	Rust: Cross-crate path resolution	2025-03-20 14:13:06 +01:00
Tom Hvitved	bd4c85a5bc	Rust: Add cross-crate path resolution test	2025-03-20 13:50:20 +01:00
Tom Hvitved	c5106f78ac	Rust: Handle pub use reexports in path resolution	2025-03-20 13:50:18 +01:00
Arthur Baars	efedfa1fe2	Rust: move optionalStep/Barrier predicates into Cached module	2025-03-20 13:10:38 +01:00
Tom Hvitved	9b58da7e84	Merge pull request #19057 from hvitved/rust/dependency-renaming ... Rust: Take dependency renaming into account when extracting the crate graph	2025-03-20 12:51:24 +01:00
Chris Smowton	d362c030b7	Merge pull request #19065 from smowton/smowton/admin/merge-rc317-into-main ... Merge rc/3.17 into main	2025-03-20 11:31:03 +00:00
Arthur Baars	f5fe531ab6	Rust: remove Stage::ref() trick	2025-03-20 12:15:41 +01:00
Simon Friis Vindum	b02a249fbd	Merge branch 'main' into rust-ti-1	2025-03-20 11:49:58 +01:00
Tom Hvitved	cbb9987a20	Merge remote-tracking branch 'upstream/main' into rust/dependency-renaming	2025-03-20 11:45:03 +01:00