kpa::constraint_getMaxValue (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::constraint_getMaxValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 79 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_getMinValue (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::constraint_getMinValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 80 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_getValue (constraint_t cons) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::constraint_getEQValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 78 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isEQ (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::constraint_getEQValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 78 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isGE (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by a combination of the functions kpa::constraint_getMinValue(constraint_t cons) (The return value is now a new class called integer_t) and kpa::constraint_hasMaxValue(constraint_t cons) (The return value is a boolean). For more information about this function, see pages 80-81 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isInterval (constraint_t cons, long int *a, long int *b) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by a combination of the functions kpa::constraint_getMinValue(constraint_t cons) and kpa::constraint_getMaxValue(constraint_t cons). The return values are now a new class called integer_t. For more information about this function, see pages 79-80 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isLE (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by a combination of the functions kpa::constraint_hasMinValue(constraint_t cons) (The return value is a boolean) and kpa::constraint_getMaxValue(constraint_t cons) (The return value is now a new class called integer_t). For more information about this function, see pages 79-81 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isNE (constraint_t cons, long int *a) |
This function only deals with 32-bit signed integers. It cannot handle both signed and unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::constraint_getNEValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 80 of our Klocwork C/C++ Path Analysis API. |
kpa::constraint_isValue (constraint_t cons) |
This function is partially duplicated by the function constraint_isEQ(), therefore it is deprecated. |
It is replaced by the function kpa::constraint_getEQValue(constraint_t cons). The return value is now a new class called integer_t. For more information about this function, see page 78 of our Klocwork C/C++ Path Analysis API. |
kpa::expr_getIntegerConstantValue (expr_t expr, int *error_flag) |
This function only deals with 64-bit signed integers and cannot handle unsigned 64-bit integers, therefore it is deprecated. |
It is replaced by the function kpa::expr_getIntegerConstantValue(expr_t expr). The return value is now a new class called integer_t. For more information about this function, see page 62 of our Klocwork C/C++ Path Analysis API. |