usr/src/tools/smatch/src/check_debug.c

434

if (!estate_related(sm->state))

usr/src/tools/smatch/src/check_debug.c

439

FOR_EACH_PTR(estate_related(sm->state), rel) {

usr/src/tools/smatch/src/smatch_equiv.c

136

FOR_EACH_PTR(estate_related(state), tmp) {

usr/src/tools/smatch/src/smatch_equiv.c

186

if (!estate_related(estate) && !rlist)

usr/src/tools/smatch/src/smatch_equiv.c

241

rlist = clone_related_list(estate_related(right_sm->state));

usr/src/tools/smatch/src/smatch_estate.c

241

if (!rlists_equiv(estate_related(one), estate_related(two)))

usr/src/tools/smatch/src/smatch_estate.c

270

if (estate_related(state))

usr/src/tools/smatch/src/smatch_estate.c

353

set_related(ret, clone_related_list(estate_related(state)));

usr/src/tools/smatch/src/smatch_estate.c

44

rlist = get_shared_relations(estate_related(s1), estate_related(s2));

usr/src/tools/smatch/src/smatch_extra.c

453

if (!estate_related(orig_state)) {

usr/src/tools/smatch/src/smatch_extra.c

458

set_related(state, estate_related(orig_state));

usr/src/tools/smatch/src/smatch_extra.c

459

FOR_EACH_PTR(estate_related(orig_state), rel) {

usr/src/tools/smatch/src/smatch_extra.c

524

if (!estate_related(orig_state)) {

usr/src/tools/smatch/src/smatch_extra.c

530

set_related(true_state, estate_related(orig_state));

usr/src/tools/smatch/src/smatch_extra.c

532

set_related(false_state, estate_related(orig_state));

usr/src/tools/smatch/src/smatch_extra.c

534

FOR_EACH_PTR(estate_related(orig_state), rel) {

usr/src/tools/smatch/src/smatch_extra.h

137

struct related_list *estate_related(struct smatch_state *state);

usr/src/tools/smatch/src/smatch_implied.c

720

FOR_EACH_PTR(estate_related(state), rel) {