I'd like a value, call it Bottom, such that<br><br><blockquote style="margin:0 0 0 40px;border:none;padding:0px">SE->getAddExpr(Bottom, X) => Bottom<br>SE->getMulExpr(Bottom, X,) => Bottom<br>isKnownPredicate(any, Bottom, X) => false<br>
etc.<br></blockquote><br><div>I can write code to make NULL work like I want, but it would be simpler if something was already defined. I'm wondering about SCEV::Unknown.  The documentation suggests I could perhaps use it for a "bottom" value.</div>
<div><br></div><div>Think it would work?</div><div><br></div><div>Thanks,</div><div>Preston</div><div><br></div>