Searched refs:DataJ (Results 1 – 1 of 1) sorted by relevance
72 int DataJ = (Argv[1][0] != 0) ? 2 : 0; in main() local76 dfsan_set_label(LabelJ, &DataJ, sizeof(DataJ)); in main()86 assert(dfsan_get_label(DataJ) == LabelJ); in main()89 switch (DataJ) { in main()100 int tainted_cond = ((DataI * DataJ) != 1); in main()