Skip to content
  • Jordan Rose's avatar
    [analyzer] Mark symbol values as dead in the environment. · b5b0fc19
    Jordan Rose authored
    This allows us to properly remove dead bindings at the end of the top-level
    stack frame, using the ReturnStmt, if there is one, to keep the return value
    live. This in turn removes the need for a check::EndPath callback in leak
    checkers.
    
    This does cause some changes in the path notes for leak checkers. Previously,
    a leak would be reported at the location of the closing brace in a function.
    Now, it gets reported at the last statement. This matches the way leaks are
    currently reported for inlined functions, but is less than ideal for both.
    
    llvm-svn: 168066
    b5b0fc19
Loading