infer.h File Reference

#include "config.h"
#include "mathlib.h"
#include "vfvalue.h"
#include <list>
#include <string>
#include <vector>

Go to the source code of this file.

Classes
struct	InferModel

Functions
std::vector< ValueFlow::Value >	infer (const ValuePtr< InferModel > &model, const std::string &op, std::list< ValueFlow::Value > lhsValues, std::list< ValueFlow::Value > rhsValues)
std::vector< ValueFlow::Value >	infer (const ValuePtr< InferModel > &model, const std::string &op, MathLib::bigint lhs, std::list< ValueFlow::Value > rhsValues)
std::vector< ValueFlow::Value >	infer (const ValuePtr< InferModel > &model, const std::string &op, std::list< ValueFlow::Value > lhsValues, MathLib::bigint rhs)
CPPCHECKLIB std::vector< MathLib::bigint >	getMinValue (const ValuePtr< InferModel > &model, const std::list< ValueFlow::Value > &values)
std::vector< MathLib::bigint >	getMaxValue (const ValuePtr< InferModel > &model, const std::list< ValueFlow::Value > &values)

Function Documentation

getMaxValue()

std::vector<MathLib::bigint> getMaxValue	(	const ValuePtr< InferModel > &	model,
		const std::list< ValueFlow::Value > &	values
	)

Definition at line 383 of file infer.cpp.

getMinValue()

CPPCHECKLIB std::vector<MathLib::bigint> getMinValue	(	const ValuePtr< InferModel > &	model,
		const std::list< ValueFlow::Value > &	values
	)

Definition at line 377 of file infer.cpp.

Referenced by extractForLoopValues().

infer() [1/3]

std::vector<ValueFlow::Value> infer	(	const ValuePtr< InferModel > &	model,
		const std::string &	op,
		MathLib::bigint	lhs,
		std::list< ValueFlow::Value >	rhsValues
	)

Definition at line 361 of file infer.cpp.

References infer().

infer() [2/3]

std::vector<ValueFlow::Value> infer	(	const ValuePtr< InferModel > &	model,
		const std::string &	op,
		std::list< ValueFlow::Value >	lhsValues,
		MathLib::bigint	rhs
	)

Definition at line 369 of file infer.cpp.

References infer().

infer() [3/3]

std::vector<ValueFlow::Value> infer	(	const ValuePtr< InferModel > &	model,
		const std::string &	op,
		std::list< ValueFlow::Value >	lhsValues,
		std::list< ValueFlow::Value >	rhsValues
	)

Definition at line 286 of file infer.cpp.

References addToErrorPath(), ValueFlow::Value::bound, calculate(), inferNotEqual(), ValueFlow::Value::Lower, ValueFlow::Value::setImpossible(), setValueKind(), and ValueFlow::Value::Upper.

Referenced by infer(), inferCondition(), valueFlowInferCondition(), and valueFlowSymbolicInfer().