void ArrayIndexChecker::visitBinaryOperator(BinaryOperator& I) { DEBUG(dbgs() << "ArrayIndexChecker: visiting bop " << I << "\n"); for(auto& op : I.operands()) { visitValue(*(op.get())); } DEBUG(dbgs() << "ArrayIndexChecker: visited bop " << I << "\n"); }