Method record_pointer_comparisons

src/Bookkeeper.cpp:381–401

* record the LHS/RHS types of comparisons between pointers */

 * record the LHS/RHS types of comparisons between pointers
 */
void
Bookkeeper::record_pointer_comparisons(const Expression* lhs, const Expression* rhs)
{
	if (lhs->term_type != eFunction && rhs->term_type != eFunction) {
		assert(lhs->get_type().eType == ePointer && rhs->get_type().eType == ePointer);
		if ((lhs->term_type == eVariable && rhs->term_type == eConstant) ||
			(rhs->term_type == eVariable && lhs->term_type == eConstant)) {
			cmp_ptr_to_null++;
		}
		else if (lhs->term_type==eVariable && rhs->term_type==eVariable) {
			const ExpressionVariable* left = (ExpressionVariable*)lhs;
			const ExpressionVariable* right = (ExpressionVariable*)rhs;
			if (left->get_indirect_level() == right->get_indirect_level()) {
				cmp_ptr_to_ptr++;
			}
			else {
				cmp_ptr_to_addr++;
			}
		}
	}
}

/*
 * count volatile/non-volatile reads/writes, specifically access thru pointers