5 writes to BranchValue
Microsoft.CodeAnalysis (5)
Operations\ControlFlowGraphBuilder.cs (5)
922predecessor.BranchValue = value; 983predecessor.BranchValue = block.BranchValue; 2974previous.BranchValue = condition; 3846current.BranchValue = Operation.SetParentOperation(returnedValue, null); 3945current.BranchValue = Operation.SetParentOperation(exception, null);
19 references to BranchValue
Microsoft.CodeAnalysis (19)
Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (3)
84BranchValue, 110[MemberNotNullWhen(true, nameof(BranchValue))] 116Debug.Assert(!result || BranchValue != null);
Operations\ControlFlowGraphBuilder.cs (15)
276if (current.BranchValue.GetConstantValue() is { IsBoolean: true, BooleanValue: bool constant }) 579if (!block.HasStatements && block.BranchValue == null) 704Debug.Assert(predecessor.BranchValue == null); 718Debug.Assert((block.BranchValue != null && !block.HasCondition) == (next.Kind == ControlFlowBranchSemantics.Return || next.Kind == ControlFlowBranchSemantics.Throw)); 797Debug.Assert(block.HasCondition || block.BranchValue == null); 836IOperation? value = block.BranchValue; 871predecessor.BranchValue != null || 921Debug.Assert(predecessor.BranchValue == null); 977Debug.Assert(predecessor.BranchValue == null); 983predecessor.BranchValue = block.BranchValue; 1371Debug.Assert(prevBlock.HasCondition || prevBlock.BranchValue == null); 2968Debug.Assert(previous.BranchValue == null); 3844Debug.Assert(current.BranchValue == null); 3941Debug.Assert(current.BranchValue == null); 5707Debug.Assert(current.BranchValue == null);
Operations\ControlFlowGraphBuilder.RegionBuilder.cs (1)
393AnonymousFunctionsMapBuilder.Instance.Visit(block.BranchValue, argument);