When compiling a project with /clrafe it is still possible to emit unverifiable code. This can happen when using operator* on an iterator which returns int&. Putting the resulting program through peverify results in an error as ByRef cannot be a return type (only locals and arguments).

Example code:

#include<cliext/vector>
usingnamespace System;
usingnamespace cliext;

int main(array<String ^> ^args)
{
vector<int> v(1);
vector<int>::iterator it;

it = v.begin();
*it = 10;

return 0;
}

Is there a way to make operator* verifiable?

Generally the compiler does not complain about returning & types or interior_ptr<> types -- is this by design? -- or is this verifiable now but peverify has not been updated?