Change Details

Missing check for empty body function causes several analyses to fail, including DomTree, LoopInfo, BPI, and BFI. When function has empty body -- zero instruction and no entry block, the call Function::getEntryBlock returns the sentinel node in BasicBlocks list. The issue was encountered as an assertion failure when a dead function with empty body was passed into ORE for remarks emit, and triggered various analyses stated above. Although empty body function is considered invalid when passing in as an IR input, it could exist internally when function is stripped away as a dead function during LTO.

Dead functions have its body stripped away, and can cause various analysis to panic. Also it does not make sense to apply analyses on such functions.

Missing check for empty bodyDead function causes several analyses to fail, including DomTree, LoopInfo, BPIs have its body stripped away, and BFI. When function has empty body -- zero instruction and no entry block, the call Function::getEntryBlock returns the sentinel node in BasicBlocks list.can cause various The issue was encountered as an assertion failure when a dead function with empty body was passed into ORE for remarks emit, and triggered various analyses stated aboveanalysis to panic. Although empty body function is considered invalid when passing in as an IR input, it could exist internally when function is stripped away as a dead function during LTOso it does not make sense to apply analyses on such functions.