li.zhe.hua created this revision. li.zhe.hua added a reviewer: sgatev. Herald added subscribers: martong, xazax.hun. Herald added a reviewer: NoQ. Herald added a project: All. li.zhe.hua requested review of this revision. Herald added a project: clang. Herald added a subscriber: cfe-commits.
Follow-up to D129097 <https://reviews.llvm.org/D129097>. It is no longer a requirement that the `QualType` passed to to `DataflowAnalysisContext::getStableStorageLocation()` is not null. A null type pass as an argument is only applicable as the pointee type of a `std::nullptr_t` pointer. Repository: rG LLVM Github Monorepo https://reviews.llvm.org/D131109 Files: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h Index: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h =================================================================== --- clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h +++ clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h @@ -93,9 +93,7 @@ /// Returns a new storage location appropriate for `Type`. /// - /// Requirements: - /// - /// `Type` must not be null. + /// A null `Type` is interpreted as the pointee type of `std::nullptr_t`. StorageLocation &createStorageLocation(QualType Type); /// Returns a stable storage location for `D`.
Index: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h =================================================================== --- clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h +++ clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h @@ -93,9 +93,7 @@ /// Returns a new storage location appropriate for `Type`. /// - /// Requirements: - /// - /// `Type` must not be null. + /// A null `Type` is interpreted as the pointee type of `std::nullptr_t`. StorageLocation &createStorageLocation(QualType Type); /// Returns a stable storage location for `D`.
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
