Custom Query (146 matches)

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

forall( dtype T | sized( T ) )
T& ?[?]( ptr_t( T ) & this, ptrdiff_t idx ) {
	return this.ptr[idx];
}

yields

test.c: In function ‘___operator_index__A0_1_0_0__FRd0_R6sptr_tl__1’:
test.c:22:56: warning: dereferencing ‘void *’ pointer
 }
                                                        ^
test.c:22:5: error: invalid use of void expression
 }

enum state_t { WAITFOR, CALL, BARGE };
struct global_t {
  state_t state;
};

void ?{} ( global_t & this ) {}

int main() {
  global_t x;
}

Assertions on ttype variables are currently too strict with regards to qualifiers.

forall(ttype T | { void foo(T); }) void bar(T x);
void foo(int);

int main() {
  const int x;
  bar(x);
}

T binds to [int], and there is no void foo(const int) in scope. Notably, using dtype instead of ttype works in the above example, so it is not a general assertion inference problem.

Adding void foo(const int); or casting (int)x are temporary workarounds.