RFC: Full 'restrict' support in LLVM

Hi all,

during the last US LLVM conference (October last year), I had two ‘BoF restrict’ sessions.

During these sessions, I discussed with a number of persons our view and mechanism on fixing the issues

with llvm’s restrict implementation and Hal Finkel’s local restrict patches. One outcome of these discussions

was a request to put all of this together in an RFC and present it to the larger llvm community so that a

broader discussion can be started.

With thanks to Wouter, Bruno, Dirk, Gert, Troy, David, Johannes for helping with the initial review of this rfc.

Greetings,

Jeroen Dobbelaere