Searched refs:VtsID__cmpLEQ (Results 1 – 2 of 2) sorted by relevance
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | libhb_core.c | 3484 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) { in VtsID__cmpLEQ() function
5410 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()
5435 Bool leq = VtsID__cmpLEQ(rmini,tviR); in msmcread()
5443 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcread()
5498 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite()
5506 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcwrite()
6954 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send()
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/helgrind/ |
| H A D | libhb_core.c | 3484 static inline Bool VtsID__cmpLEQ ( VtsID vi1, VtsID vi2 ) { in VtsID__cmpLEQ() function
5410 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()
5435 Bool leq = VtsID__cmpLEQ(rmini,tviR); in msmcread()
5443 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcread()
5498 Bool leq = VtsID__cmpLEQ(wmini,tviW); in msmcwrite()
5506 Bool leqxx = VtsID__cmpLEQ(rmini,wmini); in msmcwrite()
6954 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send()
|