Searched refs:tprtarithmetic1 (Results 1 – 2 of 2) sorted by relevance
27 int tprtarithmetic1 = *(addr+1); // expected-warning + {{tainted}} in taintTracking() local