Skip to content

Commit 54d24ea

Browse files
committed
[clang][dataflow][NFC] Fix outdated comment on getStableStorageLocation
Follow-up to 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. Differential Revision: https://reviews.llvm.org/D131109
1 parent 2d47e0f commit 54d24ea

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -93,9 +93,7 @@ class DataflowAnalysisContext {
9393

9494
/// Returns a new storage location appropriate for `Type`.
9595
///
96-
/// Requirements:
97-
///
98-
/// `Type` must not be null.
96+
/// A null `Type` is interpreted as the pointee type of `std::nullptr_t`.
9997
StorageLocation &createStorageLocation(QualType Type);
10098

10199
/// Returns a stable storage location for `D`.

0 commit comments

Comments
 (0)