llvm-project
6761b24a - [clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#112605)

Commit
344 days ago
[clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#112605) Treat calls to zero-param const methods as having stable return values (with a cache) to address issue #58510. The cache is invalidated when non-const methods are called. This uses the infrastructure from PR #111006. For now we cache methods returning: - ref to optional - optional by value - booleans We can extend that to pointers to optional in a next change.
Author
Parents
Loading