Searched defs:assume (Results 1 – 3 of 3) sorted by relevance
25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
666 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function676 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
272 int i, total, sub, assume, channels; in hdaa_channels_handler() local