Question about mprotect

[Ken Brown]

Hi Corinna,

I'm puzzled by the code at mmap.cc:1294 starting with if (!in_mapped). 
If we get there and in_mapped is false, then the pages in the mprotect 
call don't meet any mmap_record.  Why do we continue after that?  Is 
there some case where a user program would expect mprotect to succeed on 
pages that were not mapped by mmap?  There must be some subtlety 
involving PAGE_WRITECOPY that I'm missing.

Thanks.

Ken