Searched refs:getBVF (Results 1 – 1 of 1) sorted by relevance
907 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF() function1063 BasicValueFactory &BVF = getBVF(State); in describe()