131 Commits

Author	SHA1	Message	Date
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tom Hvitved	ab2bc38789	C#: Use shared logic in NodeGraph.ql test	2021-08-25 11:35:12 +02:00
Tom Hvitved	d405284d36	C#: Make CFG library shared	2021-08-25 11:35:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	182b2d0457	C#: Improve CFG for constructors when there are multiple implementations	2021-05-03 10:46:36 +02:00
Tom Hvitved	633f228dc2	C#: Add CFG tests for partial classes	2021-05-03 10:23:29 +02:00
Tom Hvitved	c3890a9435	C#: Adjust CFG for instance constructors	2021-04-29 14:05:42 +02:00
Tamas Vajk	46197e6e69	Address review comments	2021-04-09 13:39:37 +02:00
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tom Hvitved	249e431e87	C#: Adjust CFG for {Recursive,Positional,Property}PatternExpr	2021-02-01 13:52:18 +01:00
Tamas Vajk	a9c51e7300	Fix missing pattern matching completions	2021-01-29 15:16:30 +01:00
Tamas Vajk	10518744cf	C#: Remove expressions inside attributes from CFG	2021-01-27 13:20:06 +01:00
Tamas Vajk	e24e5b13f5	C#: Improve CFG to handle 'and' and 'or' patterns	2021-01-27 11:52:59 +01:00
Tom Hvitved	39977e9a43	Merge pull request #4724 from hvitved/csharp/cfg/not-pattern ... C#: Implement CFG for `not` patterns	2021-01-27 10:12:31 +01:00
Tom Hvitved	cd8155c201	C#: Teach CFG about ExceptionDispatchInfo::Throw	2021-01-26 09:16:53 +01:00
Tom Hvitved	07a96c3596	C#: Add CFG tests for ExceptionDispatchInfo::Throw	2021-01-26 09:01:06 +01:00
Tom Hvitved	e0c7f32282	C#: Add relational pattern CFG test	2021-01-25 13:52:17 +01:00
Tom Hvitved	063733ad52	C#: Implement CFG for not patterns	2021-01-25 13:52:17 +01:00
Tom Hvitved	0080357153	C#: Add unary pattern CFG tests	2021-01-25 13:52:17 +01:00
Tamas Vajk	05c858ec2c	C#: Fix expanded assignment lookup in finally blocks for CFG	2021-01-14 08:54:10 +01:00
Tamas Vajk	5803a449be	Add test case for assign operation in finally	2021-01-14 08:39:46 +01:00
Tamas Vajk	056dbe31d5	C#: Remove throw completion from StringLiteral	2021-01-08 08:14:08 +01:00
Tom Hvitved	0b2233155c	C#: Simplify CFG logic for finally blocks	2020-12-14 09:58:53 +01:00
Tom Hvitved	3531dde032	C#: Simplify FinallySplit::toString()	2020-12-05 20:16:11 +01:00
Tom Hvitved	2f1057383e	C#: Add missing CFG edges for nested finally blocks	2020-12-05 20:12:11 +01:00
Tom Hvitved	9afce31e92	C#: Add one more CFG test for nested finally blocks	2020-12-04 13:26:00 +01:00
Tom Hvitved	d4ee8cdd18	C#: Always create basic blocks for nodes with a conditional predecessor	2020-11-27 15:08:33 +01:00
Tom Hvitved	f0f5d44b33	C#: Replace BreakNormalCompletion with a nested completion	2020-11-23 11:38:24 +01:00
Tom Hvitved	f3abaa406c	C#: Refactor CFG implementation	2020-11-23 11:38:24 +01:00
Tom Hvitved	c571e42cd5	C#: Move internal CFG logic into separate file	2020-11-21 19:49:17 +01:00
Tom Hvitved	94deed39a2	C#: Represent all expressions in post-order in the CFG	2020-11-12 20:04:48 +01:00
Tamas Vajk	453c97a8c3	Fix expected files of failing tests	2020-11-11 09:57:52 +01:00
Tom Hvitved	3048919fce	C#: Introduce AssertionFailure class	2020-11-11 09:54:51 +01:00
Tom Hvitved	91dd67798a	C#: Exclude assembly attribute expressions from CFG construction	2020-11-11 09:50:59 +01:00
Tamas Vajk	4b88b237b3	C#: Fix failing tests	2020-11-11 09:50:59 +01:00
Tamas Vajk	ba730b6f02	Fix failing tests	2020-11-11 09:46:18 +01:00
Tom Hvitved	6723e5b31c	C#: Restrict post-dominance to normal execution	2020-10-30 09:14:12 +01:00
Tom Hvitved	ade8ff9593	C#: Add more CFG tests	2020-10-30 09:14:12 +01:00
Tom Hvitved	51f71d4e1d	C#: Fix CFG for assertions with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	5cd707f17e	C#: Add CFG test for assertion with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	ca4e5014ae	C#: Include compiler-generated array lengths in the CFG	2020-10-08 10:35:50 +02:00
Tom Hvitved	ce8567c64a	Merge pull request #4293 from hvitved/csharp/cfg/assertions ... C#: Model assertions in the CFG	2020-10-08 10:32:13 +02:00
Tom Hvitved	9c503c1591	C#: Add more data/control-flow tests	2020-10-07 17:10:01 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Tom Hvitved	17f0ac4b20	C#: Add more CFG assertion tests	2020-10-02 15:35:33 +02:00
Tamas Vajk	48bf6d55aa	C#: Add implicit cast from array to pointer	2020-09-23 17:21:38 +02:00
Tom Hvitved	6c716331d9	C#: Skip foreach loop bodies in the CFG when the iteration expression is empty	2020-09-07 15:26:28 +02:00
Tom Hvitved	9e240b7397	C#: Add more CFG loop unrolling tests	2020-09-07 15:26:25 +02:00
Tom Hvitved	c7f776984f	C#: Add CFG tests for callables with multiple implementations	2020-09-02 10:52:05 +02:00