Add an example in comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65110 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index fe0ae17..e2a1d36 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -559,8 +559,13 @@
// of a location but that value is not known. In the future we should
// handle potential aliasing relationships; e.g. a loc::SymbolVal could
// be an alias for a particular region.
- if (isa<loc::SymbolVal>(L))
+ // Example:
+ // void foo(char* buf) {
+ // char c = *buf;
+ // }
+ if (isa<loc::SymbolVal>(L)) {
return UnknownVal();
+ }
// FIXME: Is this even possible? Shouldn't this be treated as a null
// dereference at a higher level?