<html><head></head><body><div class="ydp4ab6c0e4yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div id="ydp4ab6c0e4yiv2407098496"><div><div class="ydp4ab6c0e4yiv2407098496ydp1a62d76eyahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div id="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642"><div><div class="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642ydpb9a30b09yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div id="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642ydpb9a30b09yiv8011149074"><div><div class="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642ydpb9a30b09yiv8011149074ydpe0b0553cyahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div id="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642ydpb9a30b09yiv8011149074ydpe0b0553cyiv3988488187"><div><div class="ydp4ab6c0e4yiv2407098496ydp1a62d76eyiv1232666642ydpb9a30b09yiv8011149074ydpe0b0553cyiv3988488187yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px;"><div dir="ltr"><div>Hi,</div><div dir="ltr">1. Function PointerMayBeCaptured take an argument StoreCaptures. Some call sites pass true to this argument(for example in LICM and AliasAnalysis). As far as I understand, <span>PointerMayBeCaptured must always be conservative, therefore it can't produce wrong results even if <span>StoreCaptures is false</span>. </span>Why <span><span><span>StoreCaptures</span></span></span> is not always false? In which cases it must be true?</div><div dir="ltr" data-setdir="false">2. Alias analyses contains getModRefInfo methods to retrieve function call sites ModRef information, but I have not found any alias analysis, which actually use pointers assignments and pointers modifications information and examine load/store instructions<span></span> of analyzed function. As far as I see, there are no <span><span></span>suitable </span>alias analysis <span>implemented</span>, because no one alias analysis examine both functions inside and pointers passed as arguments. It is not trivial to create the data structure required for this analysis, because it has to check if an modification of certain memory location exists in a function or in some other function, that can be called from it, and the data structure should not take more than near linear time in total to construction and responding to queries. But with some loss of analyze precision, it can be implemented. Have there been researches that have shown ineffectiveness of such analysis or it simply have not been implemented?<br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></body></html>