Lines Matching refs:Iex_Const
1816 return expr->tag == Iex_Const && expr->Iex.Const.con->tag == Ico_U64;