Searched defs:loopHeaderBlock (Results 1 – 1 of 1) sorted by relevance
410 auto loopHeaderBlock = createBlock(&_while, PredicateType::FunctionBlock, namePrefix + "_header_"); in visit() local461 auto loopHeaderBlock = createBlock(&_for, PredicateType::FunctionBlock, "for_header_"); in visit() local