ILSpy

Commit Graph

Author	SHA1	Message	Date
Siegfried Pammer	fd623ccf4f	Fix #4059 : treat a Deconstruct out argument as a definition The reaching-definitions analysis does not track address loads, so a variable that is only ever written through its address stays potentially uninitialized for its whole life. SplitVariables merges every such load into one live range, which is why csc lowering two deconstructions onto the same pair of temporaries left neither of them recognizable. IL cannot express that a method assigns through an address without reading it first - 'out' is a C# convention over 'ref' - so the address loads that qualify have to be named. A Deconstruct method is the one case that matters here, and C#'s definite assignment rules rule out a read; a Deconstruct method written in IL could read the argument, and that possibility is knowingly ignored. Assisted-by: Claude:claude-opus-5:Claude Code	1 week ago
Peter Crabtree	e1e16b64f5	dev: Strip BOM mark from text files	1 year ago
Siegfried Pammer	09691bd27e	#3075 : Add NextSetBit operation to BitSet to avoid looking at every store bit individually in ReachingDefinitionsVisitor.GetStores()	3 years ago
Siegfried Pammer	e1ca4db851	Fix #2527 : Support skip locals init	5 years ago
dotnet format	0d9f871a4f	#2128 : Reformat the whole code base.	6 years ago
Siegfried Pammer	eac0e2257e	Support MatchInstruction in DataFlowVisitor	6 years ago
Daniel Grunwald	0008deb021	Fix handling of try-finally blocks in ReachingDefinitionsVisitor. This was causing variables to get split incorrectly.	9 years ago
Daniel Grunwald	2207ab40f7	Check the CancellationToken a bit more frequently.	9 years ago
Siegfried Pammer	0970b95d5f	Rename ILVariable.Scope to Function and introduce BlockContainer CaptureScope	10 years ago
Siegfried Pammer	840ec04fde	Namespace adjustments for Syntax classes	10 years ago
Christoph Wille	1ce8349dd9	Adjust namespaces	10 years ago
Daniel Grunwald	7273fe58fd	Add BlockTransform concept and apply a bunch of refactoring essentials suggestions.	10 years ago
Daniel Grunwald	6d9e53bf4f	Improve ILInlining.IsSafeForInlineOver()	10 years ago
Daniel Grunwald	20aec66815	Initial support for decompiling fixed statements	10 years ago
Daniel Grunwald	f3d108c469	Add SplitVariables transforms.	10 years ago
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.	10 years ago
Daniel Grunwald	79030f6ee8	DataFlowVisitor: rename IsUnreachable to IsBottom	10 years ago
Daniel Grunwald	1aaf7b3dc0	Fix bugs in data flow analysis.	10 years ago
Daniel Grunwald	f5e66ff623	Extract reusable DataFlowVisitor from ReachingDefinitions; and add ILVariable.HasInitialValue.	10 years ago
Daniel Grunwald	b55775e2cc	Add reaching definitions analysis.	10 years ago
Daniel Grunwald	c171dbd520	Add class VariableScope.	10 years ago
Daniel Grunwald	9e59ea7395	Update System.Collections.Immutable	10 years ago
Siegfried Pammer	9f161006a5	fix #560 : properly recognize `lock` pattern of C# 2, and add `lock (this)` pattern	12 years ago
Daniel Grunwald	2c75fada90	Update to NRefactory 5.4	12 years ago

15 Commits (cdc1c904170c08716ca38d4b97267cafcee40c5a)