Searched refs:addRecordedAssumptions (Results 1 – 2 of 2) sorted by relevance
628 void addRecordedAssumptions();
1493 void ScopBuilder::addRecordedAssumptions() { in addRecordedAssumptions() function in ScopBuilder3759 addRecordedAssumptions(); in buildScop()