Searched defs:evalIntegralCast (Results 1 – 2 of 2) sorted by relevance
434 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val, in evalIntegralCast() function in SValBuilder
498 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val, in evalIntegralCast() function in SValBuilder