aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/traversal-path-unification.c
AgeCommit message (Expand)Author
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-09-25[analyzer] Add tests for symbolic expression liveness.Jordan Rose
2012-09-25Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose
2012-09-20Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose
2012-09-08[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose