Symbol: Set_Int
usr/src/tools/smatch/src/parse.c
257
.set = Set_T|Set_Int,
usr/src/tools/smatch/src/parse.c
302
.test = Set_S|Set_T|Set_Char|Set_Short|Set_Int|Set_Float|Set_Double|Set_Long|Set_Vlong|Set_Int128,