Home | History | Annotate | Download | only in analyzer

Lines Matching refs:astate

645   if (const allocation_state *astate = dyn_cast_allocation_state (state))
646     return astate->m_rs;
1722 			  const allocation_state *astate
1725 						   astate->get_nonnull ());
1775 	      const allocation_state *astate = as_a_allocation_state (state);
1776 	      sm_ctxt->set_next_state (stmt, arg, astate->get_nonnull ());
1788 	      const allocation_state *astate = as_a_allocation_state (state);
1791 						 astate->m_deallocator));
1866       const allocation_state *astate = as_a_allocation_state (state);
1867       gcc_assert (astate->m_deallocators);
1868       if (!astate->m_deallocators->contains_p (d))
1874 					    astate->m_deallocators,
1920       const allocation_state *astate = as_a_allocation_state (state);
1921       gcc_assert (astate->m_deallocators);
1922       if (!astate->m_deallocators->contains_p (&m_free.m_deallocator))
1928 					    astate->m_deallocators,
1995 	  const allocation_state *astate = as_a_allocation_state (s);
1996 	  sm_ctxt->set_next_state (stmt, lhs, astate->get_nonnull ());