Searched refs:x_sval (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | program-state.cc | 1499 const svalue *x_sval = model.get_rvalue (x, NULL); in test_sm_state_map() local
1505 ASSERT_EQ (map.get_state (x_sval, ext_state), start); in test_sm_state_map()
1507 map.impl_set_state (x_sval, TEST_STATE_42, z_sval, ext_state); in test_sm_state_map()
1508 ASSERT_EQ (map.get_state (x_sval, ext_state), TEST_STATE_42); in test_sm_state_map()
1509 ASSERT_EQ (map.get_origin (x_sval, ext_state), z_sval); in test_sm_state_map()
1516 map.impl_set_state (x_sval, 0, z_sval, ext_state); in test_sm_state_map()
1517 ASSERT_EQ (map.get_state (x_sval, ext_state), start); in test_sm_state_map()
1528 const svalue *x_sval = model.get_rvalue (x, NULL); in test_sm_state_map() local
1534 ASSERT_EQ (map.get_state (x_sval, ext_state), start); in test_sm_state_map()
1541 map.set_state (&model, x_sval, TEST_STATE_5, z_sval, ext_state); in test_sm_state_map()
[all …]
|