Searched refs:BufferSizeConstraint (Results 1 – 1 of 1) sorted by relevance
463 class BufferSizeConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker476 BufferSizeConstraint(ArgNo Buffer, llvm::APSInt BufMinSize) in BufferSizeConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::BufferSizeConstraint478 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize) in BufferSizeConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::BufferSizeConstraint480 BufferSizeConstraint(ArgNo Buffer, ArgNo BufSize, ArgNo BufSizeMultiplier) in BufferSizeConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::BufferSizeConstraint506 BufferSizeConstraint Tmp(*this); in negate()508 return std::make_shared<BufferSizeConstraint>(Tmp); in negate()1235 ProgramStateRef StdLibraryFunctionsChecker::BufferSizeConstraint::apply( in apply()1277 void StdLibraryFunctionsChecker::BufferSizeConstraint::describe( in describe()1296 bool StdLibraryFunctionsChecker::BufferSizeConstraint::describeArgumentValue( in describeArgumentValue()1761 return std::make_shared<BufferSizeConstraint>(Args...); in initFunctionSummaries()