llvm.org GIT mirror llvm / 833f982
[RegionInfo] More descriptive error messages in verifier git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@244440 91177308-0d34-0410-b5e6-96231b3b80d8 Michael Kruse 4 years ago
1 changed file(s) with 5 addition(s) and 3 deletion(s). Raw diff Collapse all Expand all
::verifyBBInRegion(BlockT *BB) const {
235235 template
236236 void RegionBase
237237 if (!contains(BB))
238 llvm_unreachable("Broken region found!");
238 llvm_unreachable("Broken region found: enumerated BB not in region!");
239239
240240 BlockT *entry = getEntry(), *exit = getExit();
241241
243243 SE = BlockTraits::child_end(BB);
244244 SI != SE; ++SI) {
245245 if (!contains(*SI) && exit != *SI)
246 llvm_unreachable("Broken region found!");
246 llvm_unreachable("Broken region found: edges leaving the region must go "
247 "to the exit node!");
247248 }
248249
249250 if (entry != BB) {
251252 SE = InvBlockTraits::child_end(BB);
252253 SI != SE; ++SI) {
253254 if (!contains(*SI))
254 llvm_unreachable("Broken region found!");
255 llvm_unreachable("Broken region found: edges entering the region must "
256 "go to the entry node!");
255257 }
256258 }
257259 }