5 writes to BranchValue
Microsoft.CodeAnalysis (5)
Operations\ControlFlowGraphBuilder.cs (5)
922predecessor.BranchValue = value; 983predecessor.BranchValue = block.BranchValue; 2972previous.BranchValue = condition; 3844current.BranchValue = Operation.SetParentOperation(returnedValue, null); 3943current.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; 1370Debug.Assert(prevBlock.HasCondition || prevBlock.BranchValue == null); 2966Debug.Assert(previous.BranchValue == null); 3842Debug.Assert(current.BranchValue == null); 3939Debug.Assert(current.BranchValue == null); 5705Debug.Assert(current.BranchValue == null);
Operations\ControlFlowGraphBuilder.RegionBuilder.cs (1)
393AnonymousFunctionsMapBuilder.Instance.Visit(block.BranchValue, argument);