Forcing weak-pure

[monarch_dodra]

On Tuesday, 25 March 2014 at 13:30:04 UTC, Steven Schveighoffer 
wrote:
> How can we force these to be weak-pure? One option suggested is 
> to add a hidden void * parameter that defaults to null, to 
> force the issue. But I think future compilers may be smart 
> enough to realize that can also be a strong-pure call.

Maybe instead of using null, we could use global junk?

//Global junk
struct WeakPure{int a;}
__gshared WeakPure dummyWeakPure;


//Signature
void weakPureFun(WeakPure* p = &dummyWeakPure)
{}


//Useage
weakPureFun();



AFAIK, the compiler should NOT be able to infer strong purity 
here. I don't know about performance effects though.