tools/clang/spanify/tests/non-int-plus-original.cc

// Copyright 2025 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include <string>
#include <tuple>
#include <vector>

int UnsafeIndex();  // This function might return an out-of-bound index.

// Test that plus operator with non int type expression for the rhs is not
// rewritten to subspan.

void fct() {
  // Expected rewrite:
  // std::array<char, 4> prefix{"foo"};
  char prefix[] = "foo";

  std::string bar = "bar";
  // This should not be rewritten to subspan.
  // Expected rewrite:
  // std::ignore = prefix.data() + bar;
  std::ignore = prefix + bar;

  std::ignore = prefix[UnsafeIndex()];
}

void fct2() {
  auto buf = std::vector<char>(1, 1);
  // Expected rewrite:
  // base::span<char> expected_data = buf;
  char* expected_data = buf.data();

  std::string bar = "bar";
  // This should not be rewritten to subspan.
  // Expected rewrite:
  // std::ignore = expected_data.data() + bar;
  std::ignore = expected_data + bar;

  std::ignore = expected_data[UnsafeIndex()];
}