Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:isIRAtom

2129    tl_assert(isIRAtom(addr));