[llvm-commits] CVS: llvm/lib/Analysis/DataStructure/Steensgaard.cpp

[Chris Lattner]

Changes in directory llvm/lib/Analysis/DataStructure:

Steensgaard.cpp updated: 1.55 -> 1.56
---
Log message:

be more aggressive about incompleteness marking


---
Diffs of the changes:  (+2 -3)

 Steensgaard.cpp |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)


Index: llvm/lib/Analysis/DataStructure/Steensgaard.cpp
diff -u llvm/lib/Analysis/DataStructure/Steensgaard.cpp:1.55 llvm/lib/Analysis/DataStructure/Steensgaard.cpp:1.56
--- llvm/lib/Analysis/DataStructure/Steensgaard.cpp:1.55	Tue Mar 22 19:48:09 2005
+++ llvm/lib/Analysis/DataStructure/Steensgaard.cpp	Thu Mar 24 12:42:28 2005
@@ -117,7 +117,6 @@
   ResultGraph = new DSGraph(GlobalECs, getTargetData());
   GlobalsGraph = new DSGraph(GlobalECs, getTargetData());
   ResultGraph->setGlobalsGraph(GlobalsGraph);
-  ResultGraph->setPrintAuxCalls();
 
   // Loop over the rest of the module, merging graphs for non-external functions
   // into this graph.
@@ -173,7 +172,8 @@
   // Update the "incomplete" markers on the nodes, ignoring unknownness due to
   // incoming arguments...
   ResultGraph->maskIncompleteMarkers();
-  ResultGraph->markIncompleteNodes(DSGraph::IgnoreFormalArgs);
+  ResultGraph->markIncompleteNodes(DSGraph::IgnoreFormalArgs |
+                                   DSGraph::IgnoreGlobals);
 
   // Remove any nodes that are dead after all of the merging we have done...
   // FIXME: We should be able to disable the globals graph for steens!
@@ -186,7 +186,6 @@
 // alias - This is the only method here that does anything interesting...
 AliasAnalysis::AliasResult Steens::alias(const Value *V1, unsigned V1Size,
                                          const Value *V2, unsigned V2Size) {
-  // FIXME: HANDLE Size argument!
   assert(ResultGraph && "Result graph has not been computed yet!");
 
   DSGraph::ScalarMapTy &GSM = ResultGraph->getScalarMap();