Searched refs:sym_reg (Results 1 – 5 of 5) sorted by relevance
78 #define WR_MMR_LABEL(mmr, sym, mmr_reg, sym_reg) \ argument79 loadsym sym_reg, sym; \81 [mmr_reg] = sym_reg;
91 if (const symbolic_region *sym_reg = base_reg->dyn_cast_symbolic_region ()) in init_cluster() local93 const svalue *ptr = sym_reg->get_pointer (); in init_cluster()
627 if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ()) in symbolic_for_unknown_ptr_p() local628 if (sym_reg->get_pointer ()->get_kind () == SK_UNKNOWN) in symbolic_for_unknown_ptr_p()
363 if (const symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region ()) in get_ptr_svalue() local364 if (ptr_type == sym_reg->get_pointer ()->get_type ()) in get_ptr_svalue()365 return sym_reg->get_pointer (); in get_ptr_svalue()
1654 if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ()) in non_null_p() local1656 if (sym_reg->m_possibly_null) in non_null_p()5649 if (symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region ()) in add_constraint() local5650 sym_reg->m_possibly_null = false; in add_constraint()8791 symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region (); in test_malloc_constraints() local8792 ASSERT_NE (sym_reg, NULL); in test_malloc_constraints()8793 ASSERT_TRUE (sym_reg->m_possibly_null); in test_malloc_constraints()8803 ASSERT_FALSE (sym_reg->m_possibly_null); in test_malloc_constraints()