Searched refs:s_i (Results 1 – 5 of 5) sorted by relevance
14 static int s_i; variable21 U_ANNOTATE_HAPPENS_AFTER(&s_i); in thread_func()22 i = s_i; in thread_func()23 U_ANNOTATE_HAPPENS_AFTER(&s_i); in thread_func()34 U_ANNOTATE_HAPPENS_BEFORE(&s_i); in main()40 s_i = 1; in main()
11 static int s_i; variable14 ANNOTATE_BENIGN_RACE_STATIC(s_i, "Benign because duplicate assignment.");29 s_i = i; in thread_func()31 s_i = ANNOTATE_UNPROTECTED_READ(s_j); in thread_func()42 s_i = s_j; in main()
338 IntSet s_i = rl.getSet(); in addReachableLabel() local339 IntSet intersection = s_i.and(t); in addReachableLabel()343 IntSet existingMinusNewElements = s_i.subtract(t); in addReachableLabel()358 remainder = t.subtract(s_i); in addReachableLabel()
466 DiSym *s_j1, *s_j, *s_i; in tidy_up_cand_syms() local470 s_i = (DiSym*)VG_(indexXA)(syms, i); in tidy_up_cand_syms()471 if (s_i->addr != s_j1->addr in tidy_up_cand_syms()472 || s_i->size != s_j1->size in tidy_up_cand_syms()473 || 0 != VG_(strcmp)(s_i->pri_name, s_j1->pri_name)) { in tidy_up_cand_syms()474 *s_j = *s_i; in tidy_up_cand_syms()479 s_i->addr, s_i->pri_name ); in tidy_up_cand_syms()
1260 IntervalSet s_i = (IntervalSet)disjointSets.get(i); in makeEdgeSetsDisjoint() local1262 if ( t.and(s_i).isNil() ) { // nothing in common in makeEdgeSetsDisjoint()1272 IntervalSet intersection = (IntervalSet)s_i.and(t); in makeEdgeSetsDisjoint()1276 IntSet existingMinusNewElements = s_i.subtract(t); in makeEdgeSetsDisjoint()1285 remainder = (IntervalSet)t.subtract(s_i); in makeEdgeSetsDisjoint()