Searched refs:SVal__isC (Results 1 – 1 of 1) sorted by relevance
368 static inline Bool SVal__isC ( SVal s );851 && !SVal__isC (lineZ->dict[1]) in shmem__SecMap_do_GC()852 && !SVal__isC (lineZ->dict[2]) in shmem__SecMap_do_GC()853 && !SVal__isC (lineZ->dict[3]); in shmem__SecMap_do_GC()2946 if (SVal__isC(old_sv)) { in remap_VtsIDs_in_SVal()4129 static inline Bool SVal__isC ( SVal s ) { in SVal__isC() function4138 tl_assert(SVal__isC(s)); in SVal__unC_Rmin()4142 tl_assert(SVal__isC(s)); in SVal__unC_Wmin()4156 if (SVal__isC(s)) { in SVal__rcinc()4164 if (SVal__isC(s)) { in SVal__rcdec()[all …]