Symbol: mul
usr/src/tools/smatch/src/validation/backend/arithmetic-ops.c
41
static int mul(int x, int y)
usr/src/tools/smatch/src/validation/optim/cse-commutativity.c
2
static int mul(int a, int b) { return (a * b) == (b * a); }