/**
* Check if invalid argument types are used in a mpi call.
* This check looks at indices where only integer values are valid.
* (count, rank, tag) Any non integer type usage is reported.
*
* @param mpiCall to check the arguments for
*/
void MPICheckerAST::checkForInvalidArgs(
const clang::CallExpr *const mpiCall) const {
llvm::SmallVector<size_t, 1> indicesToCheck{integerIndices(mpiCall)};
if (!indicesToCheck.size()) return;
// iterate indices which should not have integer arguments
for (const size_t idx : indicesToCheck) {
if (!mpiCall->getArg(idx)->IgnoreImpCasts()->getType()->isIntegerType()) {
bugReporter_.reportInvalidArgumentType(mpiCall, idx);
}
}
}
/**
* Check if invalid argument types are used in a mpi call.
* This check looks at indices where only integer values are valid.
* (count, rank, tag) Any non integer type usage is reported.
*
* @param mpiCall to check the arguments for
*/
void MPICheckerAST::checkForInvalidArgs(const MPICall &mpiCall) const {
std::vector<size_t> indicesToCheck = integerIndices(mpiCall);
if (!indicesToCheck.size()) return;
// iterate indices which should not have integer arguments
for (const size_t idx : indicesToCheck) {
// check for invalid variable types
const auto &arg = mpiCall.arguments()[idx];
const auto &vars = arg.vars();
for (const auto &var : vars) {
const mpi::TypeVisitor typeVisitor{var->getType()};
if (!typeVisitor.builtinType() ||
!typeVisitor.builtinType()->isIntegerType()) {
bugReporter_.reportInvalidArgumentType(
mpiCall.callExpr(), idx, var->getSourceRange(), "Variable");
}
}
// check for float literals
if (arg.floatingLiterals().size()) {
bugReporter_.reportInvalidArgumentType(
mpiCall.callExpr(), idx,
arg.floatingLiterals().front()->getSourceRange(), "Literal");
}
// check for invalid return types from functions
const auto &functions = arg.functions();
for (const auto &function : functions) {
const mpi::TypeVisitor typeVisitor{function->getReturnType()};
if (!typeVisitor.builtinType() ||
!typeVisitor.builtinType()->isIntegerType()) {
bugReporter_.reportInvalidArgumentType(
mpiCall.callExpr(), idx, function->getSourceRange(),
"Return value");
}
}
}
}
