DEBADRIBASAK wrote: > We should be able to construct a small test where an error is not found > because the analysis is skipped due to the CFG size. > > I also wonder if it is better to do something else for functions with large > CFGs. E.g., instead of entirely skipping them, we could just visit all nodes > ones and not iterate to a fixed-point.
Will performing only one iteration be functionally correct? If yes, we can also make it configurable (a boolean flag deciding whether to completely skip processing or to perform one iteration) https://github.com/llvm/llvm-project/pull/170444 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
