[polly] r332309 - [SCEVAffinator] Fix handling of pwaff complexity limit.

[Michael Kruse via llvm-commits]

2018-05-14 18:05 GMT-05:00 Eli Friedman via llvm-commits
<llvm-commits at lists.llvm.org>:
> +PWACtx SCEVAffinator::complexityBailout() {
> +  // We hit the complexity limit for affine expressions; invalidate the scop
> +  // and return a constant zero.
> +  const DebugLoc &Loc = BB ? BB->getTerminator()->getDebugLoc() : DebugLoc();
> +  S->invalidate(COMPLEXITY, Loc);
> +  return visit(SE.getZero(Type::getInt32Ty(BB->getContext())));

Coverity warns about this line. There is an explicit null-check two
for BB two lines above, but here it gets dereferences unconditionally.
Can BB ever be NULL?

> +}


Michael