Searched defs:assume (Results 1 – 5 of 5) sorted by relevance
45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State, in assume() function in ConstraintManager
706 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function716 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
999 void Environment::assume(const Formula &F) { in assume() function in clang::dataflow::Environment
270 int total, sub, assume, channels; in hdaa_channels_handler() local