usr/src/tools/smatch/src/builtin.c

50

flags |= (flags & CEF_ICE) ? CEF_SET_INT : 0;

usr/src/tools/smatch/src/evaluate.c

1040

if (!(e->flags & CEF_ICE))

usr/src/tools/smatch/src/evaluate.c

2915

if (old->flags & (CEF_ICE | CEF_ADDR))

usr/src/tools/smatch/src/evaluate.c

3042

!tas && (source->flags & CEF_ICE)) {

usr/src/tools/smatch/src/evaluate.c

599

if ((expr->left->flags & CEF_ADDR) && (expr->right->flags & CEF_ICE))

usr/src/tools/smatch/src/expand.c

1276

if (!(expr->flags & CEF_ICE))

usr/src/tools/smatch/src/expression.h

108

CEF_SET_ICE = (CEF_ICE | CEF_ACE),

usr/src/tools/smatch/src/expression.h

132

CEF_CLR_ICE = (CEF_ICE | CEF_INT | CEF_ENUM | CEF_CHAR),