Tom Hvitved
8c235323e7
Merge pull request #4796 from hvitved/csharp/cfg/simplify
...
C#: Various simplifications to CFG logic
2020-12-15 13:07:13 +01:00
Tamás Vajk
e391356893
Merge pull request #4630 from tamasvajk/feature/csharp9-init-prop
...
C#: Add support for init only accessors
2020-12-15 11:12:32 +01:00
Tom Hvitved
bb637f666c
C#: Introduce CfgScope class and generalize ControlFlowTree to include callables
2020-12-14 10:38:39 +01:00
Tom Hvitved
0b2233155c
C#: Simplify CFG logic for finally blocks
2020-12-14 09:58:53 +01:00
Tom Hvitved
249eea9d2b
Merge pull request #4780 from hvitved/csharp/cfg/nested-finally
...
C#: Add missing CFG edges for nested `finally` blocks
2020-12-14 09:57:36 +01:00
Tamas Vajk
4318941009
C#: Add support for init only accessors
2020-12-11 10:06:38 +01:00
Tamas Vajk
a7451a12fc
Fix attribute test after rebase
2020-12-09 21:24:21 +01:00
Tamas Vajk
214cc90af5
Fix failing test
2020-12-08 16:40:29 +01:00
Tamas Vajk
44dfafc52c
C#: remove 'System.Enum' from enums in QL
2020-12-08 16:40:29 +01:00
Tamas Vajk
6b3010e3e6
C#: Extract enum underlying type from IL
2020-12-08 16:40:29 +01:00
Tamas Vajk
c7d6c42851
C#: Add underlying enum type test for CIL extraction
2020-12-08 16:40:29 +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
Tamas Vajk
d140b0121a
C#: Improve array argument CIL extraction for attributes
2020-12-02 16:51:45 +01:00
Tamas Vajk
636ff2d76e
C#: Add CIL attribute tests
2020-12-02 16:51:45 +01:00
Tom Hvitved
d4ee8cdd18
C#: Always create basic blocks for nodes with a conditional predecessor
2020-11-27 15:08:33 +01:00
Tamas Vajk
998e2de2c6
Revert "Merge pull request #4653 from tamasvajk/feature/csharp9-relational-pattern"
...
This reverts commit 5e75a4109c , reversing
changes made to c751c516bf .
2020-11-27 12:23:38 +01:00
Tamas Vajk
b11fc2f957
C#: Extract relational patterns
2020-11-27 10:16:57 +01:00
Tamás Vajk
c751c516bf
Merge pull request #4614 from tamasvajk/feature/csharp9-target-typed
...
C#: C#9 Add target typed conditional tests
2020-11-27 10:10:58 +01:00
Tom Hvitved
bc08e47a4e
Merge pull request #4664 from hvitved/csharp/cfg/refactor
...
C#: Refactor CFG implementation
2020-11-27 09:26:57 +01:00
Tamas Vajk
548f276e1f
Add more tests
2020-11-27 08:58:37 +01:00
Tamas Vajk
144e9e6271
C#: C#9 Add target typed conditional tests
2020-11-27 08:43:02 +01:00
Tamas Vajk
47ca4b0f3b
Address review comments
2020-11-26 16:12:19 +01:00
Tamas Vajk
55d47a70f4
C#: Extract modifiers for lambdas (async, static)
2020-11-26 16:12:18 +01:00
Tamas Vajk
a931c59a28
C#: Allow attributes on local functions
2020-11-26 10:24:12 +01:00
Tamas Vajk
3bd6807681
C#: Extract type patterns
2020-11-26 08:54:40 +01:00
Tamas Vajk
9b8d9771f8
C#: Handle parenthesized pattern extraction
2020-11-25 21:27:34 +01:00
Tamas Vajk
19883302af
C#: Extract local functions without body
2020-11-25 14:42:40 +01:00
Tamas Vajk
6d9510591a
C#: Adjust test for nint/nuint
2020-11-25 12:01:56 +01:00
Tamas Vajk
81b03bf876
C#: Add test cases for discards as lambda/delegate parameters
2020-11-25 11:56:25 +01:00
Tom Hvitved
cd77f14a75
C#: Rename getSourceDeclaration() to getUnboundDeclaration()
2020-11-23 16:09: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
Tamas Vajk
0fa3cf7912
Simplify test predicates
2020-11-20 16:05:12 +01:00
Tamas Vajk
3e836ef671
C#: Add type parameter ref/value type tests
2020-11-20 13:08:38 +01:00
Tamas Vajk
52680cd1dc
C#: Add test cases for native integers
2020-11-20 11:31:20 +01:00
Tom Hvitved
7f0ad2d232
Merge pull request #4646 from hvitved/csharp/cfg/post-order-exprs
...
C#: Represent all expressions in post-order in the CFG
2020-11-17 13:01:35 +01:00
Tom Hvitved
94deed39a2
C#: Represent all expressions in post-order in the CFG
2020-11-12 20:04:48 +01:00
Tom Hvitved
202f7f07ec
C#: Update modulus analysis tests
2020-11-12 20:04:48 +01:00
Tamas Vajk
8cbe8bc6b5
C#: Fix parent of 'TypeMention' for some variable declaration
2020-11-12 13:43:13 +01:00
Tamas Vajk
453c97a8c3
Fix expected files of failing tests
2020-11-11 09:57:52 +01:00
Tom Hvitved
d6515e7963
C#: Changes to extraction of attributes in assemblies
...
- Only cache on `AttributeData` and not the parent entity.
- Move `CreateGeneratedExpressionFromArgument` to `Expression.cs`.
- Restructure the various `CreateGenerated` methods so child entities are
created inside them (and therefore no need to expose child index logic).
- Add locations to generated expressions.
- Avoid linear lookup in `CompilationUnit.cs`.
- Consolidate tests.
2020-11-11 09:54:51 +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
Tamas Vajk
5f18840a9e
C#: Extract attributes of referenced assembly
2020-11-11 09:46:18 +01:00
Tamas Vajk
c04d6f479c
C#: Change attribute extraction to use AttributeData and created generated expressions when missing
2020-11-11 09:46:18 +01:00