98   int vals[10];  in testSymbolicInvalidation()  local
110   int vals[10];  in testConcreteInvalidation()  local
128   S vals[10];  in testSymbolicInvalidationStruct()  local
140   S vals[10];  in testConcreteInvalidationStruct()  local
156   SS vals;  in testSymbolicInvalidationDoubleStruct()  local
171   SS vals;  in testConcreteInvalidationDoubleStruct()  local
198   SS vals;  in testNonOverlappingStructFieldsSymbolicBase()  local
214   SS vals[4];  in testStructFieldChains()  local
239   SS vals[4];  in testStructFieldChainsNested()  local
326   SS vals;  in testMixSymbolicAndConcrete()  local
347   SS vals[4];  in testFieldChainIsNotEnough()  local