search for: __builtin_errno_addr

...no, so it isn't "readonly" or "readnone" and we don't have a good way to model this. The hard part of this project is figuring out how to describe errno in the optimizer: each libc #defines errno to something different it seems. Maybe the solution is to have a __builtin_errno_addr() or something and change sys headers to use it. 3. An easy project is to add the 'nocapture' attribute to the LLVM IR (PR2055) and have passes infer and propagate it around. Its presence can significantly improve local alias analysis at very low cost. 4. The globals mod/ref pass b...

> Ok. I think the most important thing to keep in mind, if you want > this to be useful for LLVM, is for it to be sound in the presence of > incomplete programs. I think it would be very interesting to have a > BDD based analysis in LLVM, it would be useful for performance > comparisons and many other things, even if it isn't turned on by > default. However, it must