| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| program-state.cc | 1710 const svalue *z_sval = model.get_rvalue (z, NULL); local
1716 map.impl_set_state (x_sval, TEST_STATE_42, z_sval, ext_state);
1718 ASSERT_EQ (map.get_origin (x_sval, ext_state), z_sval);
1722 map.impl_set_state (y_sval, 0, z_sval, ext_state);
1725 map.impl_set_state (x_sval, 0, z_sval, ext_state);
1739 const svalue *z_sval = model.get_rvalue (z, NULL); local
1750 map.set_state (&model, x_sval, TEST_STATE_5, z_sval, ext_state);
1753 ASSERT_EQ (map.get_origin (x_sval, ext_state), z_sval);
1754 ASSERT_EQ (map.get_origin (y_sval, ext_state), z_sval);
1762 const svalue *z_sval = model.get_rvalue (z, NULL) local
1798 const svalue *z_sval = model.get_rvalue (z, NULL); local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| program-state.cc | 1501 const svalue *z_sval = model.get_rvalue (z, NULL); local
1507 map.impl_set_state (x_sval, TEST_STATE_42, z_sval, ext_state);
1509 ASSERT_EQ (map.get_origin (x_sval, ext_state), z_sval);
1513 map.impl_set_state (y_sval, 0, z_sval, ext_state);
1516 map.impl_set_state (x_sval, 0, z_sval, ext_state);
1530 const svalue *z_sval = model.get_rvalue (z, NULL); local
1541 map.set_state (&model, x_sval, TEST_STATE_5, z_sval, ext_state);
1544 ASSERT_EQ (map.get_origin (x_sval, ext_state), z_sval);
1545 ASSERT_EQ (map.get_origin (y_sval, ext_state), z_sval);
1553 const svalue *z_sval = model.get_rvalue (z, NULL) local
1589 const svalue *z_sval = model.get_rvalue (z, NULL); local
[all...] |
