Home | History | Annotate | Download | only in analyzer

Lines Matching defs:x_reg

4909   const region *x_reg = model.get_lvalue (x, &ctxt);
4910   ASSERT_EQ (x_init, mgr.get_or_create_initial_value (x_reg));
4927   const region *x_reg = model.get_lvalue (x, &ctxt);
4928   ASSERT_EQ (x_init, mgr.get_or_create_initial_value (x_reg));
5144   const region *x_reg = mgr.get_region_for_global (x);
5145   ASSERT_TRUE (x_reg->descendent_of_p (globals));
5148   const region *cast_reg = mgr.get_cast_region (x_reg, ptr_type_node);
5149   ASSERT_TRUE (cast_reg->descendent_of_p (x_reg));
5159   const region *x_reg = mgr.get_region_for_global (x);
5161     = mgr.get_bit_range (x_reg, char_type_node, bit_range (0, 8));
5163     = mgr.get_bit_range (x_reg, char_type_node, bit_range (8, 8));
5164   ASSERT_TRUE (byte0->descendent_of_p (x_reg));
5165   ASSERT_TRUE (byte1->descendent_of_p (x_reg));
5844     const region *x_reg = model0.get_lvalue (x, &ctxt);
5845     const region *x_as_ptr = mgr.get_cast_region (x_reg, ptr_type_node);