Lines Matching defs:MAP
3652 typedef std::map<int, int> map_t;
3654 map_t MAP;
3657 // Here we use swap to pass MAP between threads.
3664 // We swap the new empty map 'tmp' with 'MAP'.
3665 MAP.swap(tmp);
3667 // tmp (which is the old version of MAP) is destroyed here.
3672 MAP[1]++; // Just update MAP under MU.
5782 typedef std::map<int, int> map_t;
5784 map_t map;
5786 // Here we use swap to pass map between threads.
5792 // arc between any prior access to map and here.
5800 ANNOTATE_HAPPENS_AFTER(&map);
5801 // We swap the new empty map 'tmp' with 'map'.
5802 map.swap(tmp);
5803 ANNOTATE_HAPPENS_BEFORE(&map);
5804 // tmp (which is the old version of map) is destroyed here.
5809 ANNOTATE_HAPPENS_AFTER(&map);
5810 map[1]++;
5811 ANNOTATE_HAPPENS_BEFORE(&map);