Custom Query (146 matches)

This code causes an error saying the left operand of an assigment must be an lvalue.

forall(dtype T)
struct Inner {
        T* value;
};
struct Outer {
         Inner(int);
};
void ?=?(Outer & lhs, const Outer & rhs) {
        lhs.value = rhs.value;
}

This compiles, but shouldn't:

struct S {
  int x;
};

int main() {
  const S s;
  s.x = 0;
}

s.x currently has type int, but should be const int.

Another bug with Lvalues checks. The following does not compile :

forall(dtype T)
struct S {
	T * ptr;
};

forall(dtype T | sized(T))
void foo( S(T) & this ) {
	T *& it = this.ptr;
}