| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| program-state.cc | 1709 const svalue *y_sval = model.get_rvalue (y, NULL); local
1719 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1722 map.impl_set_state (y_sval, 0, z_sval, ext_state);
1723 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1738 const svalue *y_sval = model.get_rvalue (y, NULL); local
1744 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1752 ASSERT_EQ (map.get_state (y_sval, ext_state), TEST_STATE_5);
1754 ASSERT_EQ (map.get_origin (y_sval, ext_state), z_sval);
1761 const svalue *y_sval = model.get_rvalue (y, NULL); local
1771 map1.impl_set_state (y_sval, TEST_STATE_5, z_sval, ext_state)
1797 const svalue *y_sval = model.get_rvalue (y, NULL); local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| program-state.cc | 1500 const svalue *y_sval = model.get_rvalue (y, NULL); local
1510 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1513 map.impl_set_state (y_sval, 0, z_sval, ext_state);
1514 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1529 const svalue *y_sval = model.get_rvalue (y, NULL); local
1535 ASSERT_EQ (map.get_state (y_sval, ext_state), start);
1543 ASSERT_EQ (map.get_state (y_sval, ext_state), TEST_STATE_5);
1545 ASSERT_EQ (map.get_origin (y_sval, ext_state), z_sval);
1552 const svalue *y_sval = model.get_rvalue (y, NULL); local
1562 map1.impl_set_state (y_sval, TEST_STATE_5, z_sval, ext_state)
1588 const svalue *y_sval = model.get_rvalue (y, NULL); local
[all...] |
