reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2908 bool IsWritten = !WrittenCtx.is_empty(); 2911 return WrittenCtx; 2913 WrittenCtx = WrittenCtx.remove_divs(); 2913 WrittenCtx = WrittenCtx.remove_divs(); 2914 bool TooComplex = WrittenCtx.n_basic_set() >= MaxDisjunctsInDomain; 2918 scop->addAssumption(INVARIANTLOAD, WrittenCtx, LI->getDebugLoc(), 2920 return WrittenCtx;