Custom Query (145 matches)

with statement does not work with anonymous fields:

struct inner { int value; };
struct outer { inner;     };

int foo(outer & this) with( this ) {
	return value;
}

This code segfaults:

forall(otype T)
struct X {
	T arr[1];
};

forall(otype T)
void doit( X(T) & x, T e ) {
	x.arr[0] = e;
}

int main() {
	X(int) a;
	doit( a, 1 );
}

Users expect parameters to have priority over with statements, e.g.,

#include <fstream>

struct X {
	int value;
};

void set(X & this, int value) with(this) {
	this.value = value;
}

int main() {
	X x;
	set(x, 3);
	sout | x.value | endl;
	return 0;
}

I think the least surprising result would be that this prints 3, i.e., the parameter value has precedence over the field value.