Skip to content
  1. Mar 30, 2012
  2. Mar 29, 2012
  3. Mar 28, 2012
  4. Mar 27, 2012
    • Fariborz Jahanian's avatar
      307b7ad5
    • Anna Zaks's avatar
      [analyzer] Add an option to re-analyze a dead-end path without inlining. · 5b3939fa
      Anna Zaks authored
      The analyzer gives up path exploration under certain conditions. For
      example, when the same basic block has been visited more than 4 times.
      With inlining turned on, this could lead to decrease in code coverage.
      Specifically, if we give up inside the inlined function, the rest of
      parent's basic blocks will not get analyzed.
      
      This commit introduces an option to enable re-run along the failed path,
      in which we do not inline the last inlined call site. This is done by
      enqueueing the node before the processing of the inlined call site
      with a special policy encoded in the state. The policy tells us not to
      inline the call site along the path.
      
      This lead to ~10% increase in the number of paths analyzed. Even though
      we expected a much greater coverage improvement. 
      
      The option is turned off by default for now.
      
      llvm-svn: 153534
      5b3939fa
    • Anna Zaks's avatar
      [analyzer] Stats checker: minor interprocedural tweaks. · dc36e616
      Anna Zaks authored
      Report root function name with exhausted block diagnostic.
      
      Also, use stack frames, not just any location context when checking if
      the basic block is in the same context.
      
      llvm-svn: 153532
      dc36e616
Loading