https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122680

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
Here is a stdlib testcase:
```
#include <cstddef>
#include <stdfloat>
#include <vector>

std::vector<std::float32_t> *
CreateOracleValues (std::vector<std::float32_t> *buf)
{
  for (std::size_t i = 0, j = buf->size (); i < buf->size (); i++, j--)
    {
      (*buf)[i] = (j);
    }
  return buf;
}

std::vector<std::float32_t>
foo ()
{
  std::vector<std::float32_t> oracle (100);
  CreateOracleValues (&oracle);
  return oracle;
}
```

cvise is still running on the original.

Reply via email to