| 1187 | } |
| 1188 | |
| 1189 | llvm::BasicBlock *createUnreachableBlock(llvm::Function &F) { |
| 1190 | auto *Default = llvm::BasicBlock::Create(F.getContext(), "cbs.while.default", &F); |
| 1191 | llvm::IRBuilder Builder{Default, Default->getFirstInsertionPt()}; |
| 1192 | Builder.CreateUnreachable(); |
| 1193 | return Default; |
| 1194 | } |
| 1195 | |
| 1196 | // create the actual while loop around the subcfgs and the switch instruction to |
| 1197 | // select the next subCFG based on the value in \a LastBarrierIdStorage |
no outgoing calls
no test coverage detected