================ @@ -55,6 +61,11 @@ std::vector<const MemRegion *> lifetime_modeling::getDanglingRegionsAfterReturn( return Regions; } +bool lifetime_modeling::isDeallocated(ProgramStateRef State, ---------------- steakhal wrote:
To me it makes more sense this way. One if the checker that implements the freestanding API. It's just the naming conventions are different for public APIs and checker implementations. I think it totally makes sense. https://github.com/llvm/llvm-project/pull/209278 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
