| commit | e1bc97c8020dc2ba05c546fb6faa6f9a68074e18 | [log] [tgz] |
|---|---|---|
| author | Martin Brænne <mboehme@google.com> | Thu Oct 26 06:39:27 2023 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Oct 26 06:40:50 2023 -0700 |
| tree | fe868a9209238e9ccc50be26ef12fddc98bd07cb | |
| parent | e9a51b587481176c2155a96968851860c9564661 [diff] |
[nullability] Add clarifying comment. PiperOrigin-RevId: 576852498 Change-Id: I1cac0864c9b3d264ec0b9cc81ee52799ca8ef984
diff --git a/nullability/pointer_nullability_analysis.cc b/nullability/pointer_nullability_analysis.cc index b0fa9e6..337bffd 100644 --- a/nullability/pointer_nullability_analysis.cc +++ b/nullability/pointer_nullability_analysis.cc
@@ -473,6 +473,7 @@ StorageLocation *Loc = RecordLoc->getChild(*member); PointerVal = dyn_cast<PointerValue>(State.Env.getValue(*Loc)); } else { + // Use value that may have been set by the builtin transfer function. PointerVal = getPointerValueFromExpr(MCE, State.Env); } if (PointerVal) {