hub / github.com/cseagle/blc / ruleBlockOr

Method ruleBlockOr

blockaction.cc:1306–1356 · view source on GitHub ↗

Try to find an OR conditions (finding ANDs by duality) starting with the given FlowBlock. The top of the OR should not perform \e gotos, the edge to the \b orblock should not be \e exit or \e loopback \param bl is the given FlowBlock \return \b true if the structure was applied

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 10

sizeOutMethod · 0.80

isGotoOutMethod · 0.80

isSwitchOutMethod · 0.80

sizeInMethod · 0.80

isInteriorGotoTargetMethod · 0.80

isBackEdgeOutMethod · 0.80

newBlockConditionMethod · 0.80

getOutMethod · 0.45

isComplexMethod · 0.45

negateConditionMethod · 0.45

Tested by

no test coverage detected