Method updateArrayInfo

lib/generation/FuzzInput.cpp:326–365

}

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

  for (auto &ArrayGroup : ArrayGroups) {
    const FuzzInput *ArrayDef = nullptr;
    const FuzzInput *ArrayLenDef = nullptr;

    for (auto &ID : ArrayGroup) {
      auto Iter = FuzzInputMap.find(ID);
      assert(Iter != FuzzInputMap.end() && "Unexpected Program State");

      const auto *Input = Iter->second.get();
      assert(Input && "Unexpected Program State");

      if (Input->getCopyFrom())
        continue;

      const auto &Def = Input->getDef();
      if (Def.Array) {
        if (ArrayDef) {
          assert(ArrayDef == Input && "Unexpected Program State");
        }
        ArrayDef = Input;
      } else if (Def.ArrayLen) {
        if (ArrayLenDef) {
          assert(ArrayLenDef == Input && "Unexpected Program State");
        }
        ArrayLenDef = Input;
      }
    }

    assert(ArrayDef && "Unexpected Program State");
    if (!ArrayLenDef)
      continue;

    const_cast<FuzzInput *>(ArrayDef)->ArrayLenDef = &ArrayLenDef->getDef();
    const_cast<FuzzInput *>(ArrayLenDef)->ArrayDef = &ArrayDef->getDef();
  }
}

NoInputPtr
FuzzNoInputFactory::generate(std::shared_ptr<const Definition> Def) const {