2812 Commits

Author	SHA1	Message	Date
Tom Hvitved	6ffeaf8c2a	C#: Adjust flow into phi nodes	2021-01-25 15:44:37 +01:00
Tom Hvitved	38b0f743cb	C#: Add test that illustrates problem with flow through phi nodes	2021-01-25 14:20:27 +01:00
Tom Hvitved	221aebc833	C#: Fix bug in AssignOperationWithExpandedAssignment::last	2021-01-25 14:01:31 +01:00
alexet	355edcb136	Csharp: Reduce BDD usage.	2021-01-25 13:52:17 +01:00
Tom Hvitved	0543e34812	C#: Address review comment	2021-01-25 13:52:17 +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	ab85b2c2d2	C#: Add is not null guards test	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
Tom Hvitved	e7b43e50b6	C#: Remove ReadKind from the shared SSA library	2021-01-25 12:09:34 +01:00
Tom Hvitved	6fc14976cf	C#: Remove uses of getAQlClass()	2021-01-22 15:00:45 +01:00
Tom Hvitved	bc41c26354	Merge pull request #4959 from hvitved/csharp/ssa/split ... C#: Split up SSA implementation	2021-01-21 10:52:49 +01:00
Tamas Vajk	eb8a52ba8d	Add new .stats file	2021-01-20 21:21:03 +01:00
Tamas Vajk	ab8dc27b26	Add missing 'bindingset'	2021-01-20 15:44:05 +01:00
Tamas Vajk	727412b26b	Store by-ref type annotation in trap and add tests	2021-01-20 15:44:05 +01:00
Tamas Vajk	2804f5cba9	Add by-ref, and fix pinned CIL extraction	2021-01-20 15:44:05 +01:00
Tamas Vajk	f986c15200	Add QL classes for CIL function pointers, and add test	2021-01-20 15:44:05 +01:00
Tamas Vajk	0c213d0926	C#: Extract function pointer types from CIL	2021-01-20 15:44:05 +01:00
Tamas Vajk	d34992d36c	Add .stats file	2021-01-19 17:26:31 +01:00
Tamas Vajk	f7a0c98cb3	Code quality improvement	2021-01-19 17:26:31 +01:00
Tamas Vajk	613bf6dca6	Fix failing test	2021-01-19 17:26:31 +01:00
Tamas Vajk	1d9b3ec8b4	Allow annotating fnptr return types	2021-01-19 17:26:31 +01:00
Tamas Vajk	348fe8f2fc	Address PR review comments	2021-01-19 17:26:31 +01:00
Tamas Vajk	a9986ca72d	Fix expected printed AST	2021-01-19 17:26:31 +01:00
Tamas Vajk	fd27bde4b5	Add function pointer conversion tests	2021-01-19 17:26:31 +01:00
Tamas Vajk	15e88471be	Adjust 'Cast.getTargetType()' to return the expression type instead of the type access type	2021-01-19 17:26:31 +01:00
Tamas Vajk	a11d852054	Fix address of unary operator extraction	2021-01-19 17:26:31 +01:00
Tamas Vajk	183926d9fd	C#: Add QL classes for function pointer type/invocation, tests	2021-01-19 17:26:31 +01:00
Tamas Vajk	876123315d	C#: Extract function pointers	2021-01-19 17:26:31 +01:00
Tom Hvitved	0674881ffd	C#: Do not rely on BasicBlock member predicates from SsaImplSpecific	2021-01-19 10:52:50 +01:00
Tom Hvitved	2a8060102d	C#: Split up SSA implementation	2021-01-19 10:52:50 +01:00
Tamas Vajk	1b285ee792	C#: Hardcode well-known underlying enum types	2021-01-18 16:14:37 +01:00
Tamas Vajk	c0b31cbfe7	Add new stats file	2021-01-18 09:19:27 +01:00
Tamas Vajk	f235a28295	C# Add relational patterns extraction	2021-01-18 09:19:27 +01:00
Tamás Vajk	81ce29c6c8	Merge pull request #4656 from tamasvajk/feature/csharp9-not-pattern ... C#: Extract unary patterns	2021-01-15 09:44:53 +01:00
Tom Hvitved	d7ca065192	Merge pull request #4923 from hvitved/csharp/ssa/refactor ... C#: SSA refactorings	2021-01-14 17:28:14 +01:00
Tom Hvitved	6cf684f615	C#: Fix QL doc	2021-01-14 15:59:22 +01:00
Tamas Vajk	66d8b0f1a0	Add new .stats file	2021-01-14 14:11:28 +01:00
Tom Hvitved	f5eb131e2d	C#: Address review comments	2021-01-14 12:42:43 +01:00
Tamás Vajk	fa8e902fe4	Merge pull request #4922 from tamasvajk/feature/fix-finally-cfg-opass ... C#: Fix expanded assignment lookup in finally blocks for CFG	2021-01-14 11:26:33 +01:00
Tamás Vajk	36a1293156	Merge pull request #4952 from tamasvajk/feature/type-mention-nullable ... C#: Fix type mention extraction of named types with nullability enabled	2021-01-14 11:25:44 +01:00
Tamas Vajk	48d8ee9166	Fix failing test	2021-01-14 09:47:46 +01:00
Tamas Vajk	927dd514ea	C#: Extract unary patterns	2021-01-14 09:47:46 +01:00
Tamás Vajk	842ed62875	Merge pull request #4927 from tamasvajk/feature/comp-assembly ... C#: Add output assembly to compilation	2021-01-14 09:45:11 +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	5060756a0b	Fix typo in comment	2021-01-14 08:20:45 +01:00
Tamás Vajk	b6107d341b	Merge pull request #4924 from tamasvajk/feature/remove-string-literal-might-throw ... C#: Remove throw completion from StringLiteral	2021-01-14 08:15:33 +01:00
Tamas Vajk	12d602b798	Add new .stats file	2021-01-13 15:46:08 +01:00
Tamas Vajk	61b207f067	Rework type mention test	2021-01-13 13:24:48 +01:00