20 Commits
Author SHA1 Message Date
Peter Crabtree e1e16b64f5 dev: Strip BOM mark from text files 2025-08-28 20:56:19 -04:00
Siegfried Pammer 4bf9487ecd Remove IsRef, IsOut and IsIn flags from IParameter and Replace ParameterModifiers with ReferenceKind. 2024-07-19 18:40:07 +02:00
dotnet format 0d9f871a4f #2128: Reformat the whole code base. 2020-08-28 01:05:38 +02:00
Siegfried Pammer eac0e2257e Support MatchInstruction in DataFlowVisitor 2020-07-26 19:22:14 +02:00
Daniel Grunwald 8cfc21dfab Fix DefiniteAssignmentVisitor bugs handling ILFunction, and add some comments. 2019-07-27 15:43:51 +02:00
Siegfried Pammer 7d62a7e032 Reset HasInitialValue flag after TransformDisplayClassUsage. 2019-07-27 15:07:41 +02:00
Daniel Grunwald a86a0586bb Fix #890: Correctly handle calls with out-parameters in definite assignment analysis. 2018-03-04 14:55:17 +01:00
Daniel Grunwald 96d9e63f4c Don't unnecessarily default-initialize variables prior to a call with out-parameter. 2018-03-04 14:34:13 +01:00
Daniel Grunwald 0008deb021 Fix handling of try-finally blocks in ReachingDefinitionsVisitor.
This was causing variables to get split incorrectly.
2017-09-23 21:14:35 +02:00
Daniel Grunwald 2207ab40f7 Check the CancellationToken a bit more frequently. 2017-08-22 22:24:16 +02:00
Siegfried Pammer 0970b95d5f Rename ILVariable.Scope to Function and introduce BlockContainer CaptureScope 2016-12-18 14:08:10 +01:00
Siegfried Pammer 840ec04fde Namespace adjustments for Syntax classes 2016-11-26 12:06:58 +01:00
Christoph Wille 1ce8349dd9 Adjust namespaces 2016-11-26 11:12:53 +01:00
Daniel Grunwald 20aec66815 Initial support for decompiling fixed statements 2016-07-09 22:44:16 +02:00
Daniel Grunwald f3d108c469 Add SplitVariables transforms. 2016-06-20 23:01:41 +02:00
Daniel Grunwald e21ad7c3e4 DataFlowVisitor: ignore MayThrow and consider every instruction to potentially throw.
This brings the IL definite assignment analysis more in line with the C# analysis.
It's arguably more correct, because there are async exceptions (ThreadAbortException).
It also means we call JoinWith() less often, so the analysis should be faster.
2016-06-20 20:30:08 +02:00
Daniel Grunwald a06ca0c0be Custom BitSet implementation 2016-06-19 17:34:17 +02:00
Daniel Grunwald 79030f6ee8 DataFlowVisitor: rename IsUnreachable to IsBottom 2016-06-19 13:51:47 +02:00
Daniel Grunwald 1aaf7b3dc0 Fix bugs in data flow analysis. 2016-06-18 18:13:13 +02:00
Daniel Grunwald f5e66ff623 Extract reusable DataFlowVisitor from ReachingDefinitions; and add ILVariable.HasInitialValue. 2016-06-18 02:45:53 +02:00