usr/src/tools/smatch/src/example.c

1529

case PSEUDO_VAL:

usr/src/tools/smatch/src/example.c

330

case PSEUDO_VAL:

usr/src/tools/smatch/src/example.c

594

case PSEUDO_VAL:

usr/src/tools/smatch/src/example.c

742

case PSEUDO_VAL:

usr/src/tools/smatch/src/example.c

857

case PSEUDO_VAL:

usr/src/tools/smatch/src/flow.c

53

case PSEUDO_VAL:

usr/src/tools/smatch/src/flow.c

637

if (cond->type != PSEUDO_VAL)

usr/src/tools/smatch/src/linearize.c

1052

if (src2->type != PSEUDO_VAL)

usr/src/tools/smatch/src/linearize.c

1426

if (src->type == PSEUDO_VAL && (src->value == 0 || src->value == 1))

usr/src/tools/smatch/src/linearize.c

151

case PSEUDO_VAL: {

usr/src/tools/smatch/src/linearize.c

814

pseudo->type = PSEUDO_VAL;

usr/src/tools/smatch/src/linearize.h

244

return (p && p->type != PSEUDO_VOID && p->type != PSEUDO_UNDEF && p->type != PSEUDO_VAL);

usr/src/tools/smatch/src/linearize.h

53

return pseudo->type == PSEUDO_VAL && pseudo->value == 0;

usr/src/tools/smatch/src/linearize.h

58

return pseudo->type == PSEUDO_VAL && pseudo->value != 0;

usr/src/tools/smatch/src/simplify.c

1224

if (p1->type == PSEUDO_VAL)

usr/src/tools/smatch/src/simplify.c

1225

return p2->type == PSEUDO_VAL;

usr/src/tools/smatch/src/simplify.c

1228

return p2->type == PSEUDO_SYM || p2->type == PSEUDO_VAL;

usr/src/tools/smatch/src/simplify.c

1254

return pseudo->type == PSEUDO_VAL || pseudo->type == PSEUDO_SYM;

usr/src/tools/smatch/src/simplify.c

1426

if (val->type != PSEUDO_VAL)

usr/src/tools/smatch/src/simplify.c

1596

case PSEUDO_VAL:

usr/src/tools/smatch/src/simplify.c

1611

if (src2->type != PSEUDO_VAL || src3->type != PSEUDO_VAL)

usr/src/tools/smatch/src/simplify.c

429

return pseudo->type == PSEUDO_VAL;

usr/src/tools/smatch/src/simplify.c

506

if (pseudo->type == PSEUDO_VAL) {

usr/src/tools/smatch/src/simplify.c

698

} else if (src2->type == PSEUDO_VAL) {

usr/src/tools/smatch/src/simplify.c

809

if (src2->type != PSEUDO_VAL)

usr/src/tools/smatch/src/simplify.c

902

if (src2->type != PSEUDO_VAL)

usr/src/tools/smatch/src/simplify.c

987

if (def->src2->type != PSEUDO_VAL)

usr/src/tools/smatch/src/sparse-llvm.c

268

case PSEUDO_VAL:

usr/src/tools/smatch/src/sparse-llvm.c

380

case PSEUDO_VAL:

usr/src/tools/smatch/src/sparse-llvm.c

625

if (insn->src2->type == PSEUDO_VAL)

usr/src/tools/smatch/src/sparse.c

156

if (count->type == PSEUDO_VAL) {