Lines Matching defs:Ref
3710 void Ref() {
3756 // test76: FP. Ref counting, no annotations. {{{1
3763 object->Ref();
3769 printf("test76: false positive (ref counting)\n");
3782 // test77: TN. Ref counting, MU is annotated. {{{1
3790 object->Ref();
3796 printf("test77: true negative (ref counting), mutex is annotated\n");
3809 // test78: TN. Ref counting, Unref is annotated. {{{1
3817 object->Ref();
3823 printf("test78: true negative (ref counting), Unref is annotated\n");
3903 void Ref() {
3935 // test80: FP. Ref counting with atomics, no annotations. {{{1
3942 object->Ref();
3948 printf("test80: false positive (ref counting)\n");
3960 // test81: TN. Ref counting with atomics, Unref is annotated. {{{1
3968 object->Ref();
3974 printf("test81: negative (annotated ref counting)\n");
6421 obj->Ref();
6422 obj->Ref();
7240 // DecRef() does ref count increment in a way unfriendly to race detectors.
