16 Commits

Author	SHA1	Message	Date
Tom Hvitved	c39fe59a04	C#: Populate UnknownType	2021-12-06 14:09:17 +01:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09: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
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tom Hvitved	6723e5b31c	C#: Restrict post-dominance to normal execution	2020-10-30 09:14:12 +01:00
Calum Grant	da6c37d7dc	C#: Update test output.	2020-05-15 15:40:49 +01:00
Calum Grant	b94b4b7c91	C#: Fix tests	2020-03-26 20:40:40 +00:00
Tom Hvitved	f1193d084b	C#: Add missing toString() relations	2019-12-16 19:38:46 +01:00
Tom Hvitved	e70f17f260	C#: Remove uses of deprecated ControlFlowGraph module	2019-06-17 10:23:23 +02:00
Tom Hvitved	e01246acc8	C#: Autoformat	2019-03-26 13:38:47 +01:00
Tom Hvitved	5ce9b25ec9	C#: Improve CFG for assignments ... Write accesses in assignments, such as the access to `x` in `x = 0` are not evaluated, so they should not have entries in the control flow graph. However, qualifiers (and indexer arguments) should still be evaluated, for example in ``` x.Foo.Bar = 0; ``` the CFG should be `x --> x.Foo --> 0 --> x.Foo.Bar = 0` (as opposed to `x --> x.Foo --> x.Foo.Bar --> 0 --> x.Foo.Bar = 0`, prior to this change). A special case is assignments via acessors (properties, indexers, and event adders), where we do want to include the access in the control flow graph, as it represents the accessor call: ``` x.Prop = 0; ``` But instead of `x --> x.set_Prop --> 0 --> x.Prop = 0` the CFG should be `x --> 0 --> x.set_Prop --> x.Prop = 0`, as the setter is called *after* the assigned value has been evaluated. An even more special case is tuple assignments via accessors: ``` (x.Prop1, y.Prop2) = (0, 1); ``` Here the CFG should be `x --> y --> 0 --> 1 --> x.set_Prop1 --> y.set_Prop2 --> (x.Prop1, y.Prop2) = (0, 1)`.	2019-02-16 19:19:24 +01:00
Tom Hvitved	231465143d	C#: Autoformat QL tests	2018-12-20 10:19:59 +01:00
Tom Hvitved	05e00ab05b	C#: Fix whitespaces	2018-09-28 14:59:39 +02:00
calum	ecb3efba34	C#: Fix merge conflicts.	2018-09-07 18:12:28 +01:00
calum	9ec2172dca	C#: Fix CFG for unknown expressions, and add a test that also covers object initializer lists fixed by the extractor.	2018-09-07 17:56:44 +01:00