================
@@ -346,11 +346,12 @@ class SValBuilder {
/// \param type pointer type.
loc::ConcreteInt makeNullWithType(QualType type) {
// We cannot use the `isAnyPointerType()`.
- assert((type->isPointerType() || type->isObjCObjectPointerType() ||
- type->isBlockPointerType() || type->isNullPtrType() ||
- type->isReferenceType()) &&
+ assert((type->isObjCObjectPointerType() || Loc::isLocType(type)) &&
"makeNullWithType must use pointer type");
+ type =
+ type->isAtomicType() ? type->getAs<AtomicType>()->getValueType() :
type;
----------------
carsonRadtke wrote:
"Expressive" - as in `isLocType` makes the intent a more obvious than the
chained logical-or expressions.
https://github.com/llvm/llvm-project/pull/190131
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
