Unexpected bounds error after PR #903

[john-h-kastner]

This example fails bounds checking after PR #903 with the error message error: it is not possible to prove argument meets declared bounds for 2nd parameter.

void foo(_Array_ptr<char> dest : count(n), _Array_ptr<char> src : count(n), int n);

struct bar {
  _Array_ptr<char> x : count(l);
  int l;
};

void test(_Array_ptr<char> a : count(c), int c) {
  struct bar b = {a, c};
  foo(a, b.x, c);
}

Before the PR was merged, the compiler gave a warning instead. warning: cannot prove argument meets declared bounds for 2nd parameter. Is this change intentional? If so, what would be the correct way to write the above so that is accepted?

[kkjeer]

Hi @john-h-kastner, thank you for opening this issue. The compiler should give a warning in this case. We are investigating a fix so that a warning is given instead of an error.