Symbol: replace_with_integer
usr/src/tools/smatch/src/pre-process.c
178
replace_with_integer(token, token->pos.line);
usr/src/tools/smatch/src/pre-process.c
214
replace_with_integer(token, counter_macro++);
usr/src/tools/smatch/src/pre-process.c
219
replace_with_integer(token, include_level - 1);