Method applyArrayPolicies

lib/generation/FuzzInput.cpp:267–324

}

void FuzzInputGenerator::applyArrayPolicies(
    std::map<unsigned, std::shared_ptr<FuzzInput>> &FuzzInputMap,
    std::map<unsigned, std::shared_ptr<FuzzNoInput>> &FuzzNoInputMap,
    std::vector<std::set<unsigned>> &ArrayGroups) const {

  for (int S = 0; S < (int)ArrayGroups.size(); ++S) {
    auto &Group = ArrayGroups[S];
    std::set<unsigned> ArrayDefIDs;
    std::set<unsigned> ArrayLenDefIDs;

    for (auto Member : Group) {
      auto Iter = FuzzInputMap.find(Member);
      assert(Iter != FuzzInputMap.end() && "Unexpected Program State");
      assert(Iter->second && "Unexpected Program State");

      auto &Def = Iter->second->getDef();
      if (Def.Array)
        ArrayDefIDs.emplace(Def.ID);
      else if (Def.ArrayLen)
        ArrayLenDefIDs.emplace(Def.ID);
    }

    if (ArrayDefIDs.size() != 1) {
      for (auto Member : Group) {
        auto Iter = FuzzInputMap.find(Member);
        assert(Iter != FuzzInputMap.end() && "Unexpected Program State");
        assert(Iter->second && "Unexpected Program State");

        auto Def = Iter->second->getDefPtr();
        auto NoInput = FuzzNoInputFactory().generateMeshArrayRelation(Def);
        assert(NoInput && "Unexpected Program State");

        FuzzNoInputMap.emplace(NoInput->getDefID(), NoInput);
        FuzzInputMap.erase(Iter);
      }
      ArrayGroups.erase(ArrayGroups.begin() + S);
      S--;
      continue;
    }

    if (ArrayLenDefIDs.size() > 1) {
      std::vector<unsigned> ArrayLenDefIDVec(ArrayLenDefIDs.begin(),
                                             ArrayLenDefIDs.end());
      auto Iter = FuzzInputMap.find(ArrayLenDefIDVec[0]);
      assert(Iter != FuzzInputMap.end() && "Unexpected Program State");
      assert(Iter->second && "Unexpected Program State");

      auto &BaseInput = Iter->second;
      for (unsigned S1 = 1, E1 = ArrayLenDefIDVec.size(); S1 < E1; ++S1) {
        auto Iter = FuzzInputMap.find(ArrayLenDefIDVec[S1]);
        assert(Iter != FuzzInputMap.end() && "Unexpected Program State");
        assert(Iter->second && "Unexpected Program State");

        Iter->second->setCopyFrom(BaseInput);
      }
    }
  }
}