================ @@ -55,6 +61,11 @@ std::vector<const MemRegion *> lifetime_modeling::getDanglingRegionsAfterReturn( return Regions; } +bool lifetime_modeling::isDeallocated(ProgramStateRef State, ---------------- isuckatcs wrote:
It is a bit confusing why we have `lifetime_modeling::` and `LifetimeModeling::` definitions in the same source file. I'm still in favor of moving these to different source files to make it less confusing. `LifetimeModelling.cpp` and `LifetimeModellingChecker.cpp` respectively. https://github.com/llvm/llvm-project/pull/209278 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
