NagyDonat wrote: This PR takes a conservative approach and only removes the `BranchCondition` callback from `TraversalChecker.cpp`.
However I don't think that `TraversalChecker.cpp` is useful for manual debugging and it's only used in two very simple testcases [[1]](https://github.com/llvm/llvm-project/blob/1164bd774783f33419e56cf10fdb87fbeab2b185/clang/test/Analysis/traversal-path-unification.c) [[2]](https://github.com/llvm/llvm-project/blob/1164bd774783f33419e56cf10fdb87fbeab2b185/clang/test/Analysis/traversal-begin-end-function.c) so perhaps it would be better to completely remove it. What do you think about these follow-up removals? Do you see any purpose that makes it worth to keep `TraversalChecker.cpp` and the two testcases that rely on it? https://github.com/llvm/llvm-project/pull/113906 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
