On Feb 17, 2009, at 8:11 PM, Tom Rodriguez wrote: > > predicate(n->bottom_type() == TypeInt::BOOL); > Or more generally, n->bottom_type()->as_int()->_lo >= 0. -- John