r339244 - [analyzer] Fix a typo in `RegionStore.txt`.

Henry Wong via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 8 06:37:29 PDT 2018


Author: henrywong
Date: Wed Aug  8 06:37:28 2018
New Revision: 339244

URL: http://llvm.org/viewvc/llvm-project?rev=339244&view=rev
Log:
[analyzer] Fix a typo in `RegionStore.txt`.

Summary: The typo of the description for default bindings can be confusing.

Reviewers: NoQ, george.karpenkov

Reviewed By: NoQ, george.karpenkov

Subscribers: xazax.hun, szepet, a.sidorin, mikhail.ramalho, cfe-commits, MTC

Differential Revision: https://reviews.llvm.org/D50382

Modified:
    cfe/trunk/docs/analyzer/RegionStore.txt

Modified: cfe/trunk/docs/analyzer/RegionStore.txt
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/docs/analyzer/RegionStore.txt?rev=339244&r1=339243&r2=339244&view=diff
==============================================================================
--- cfe/trunk/docs/analyzer/RegionStore.txt (original)
+++ cfe/trunk/docs/analyzer/RegionStore.txt Wed Aug  8 06:37:28 2018
@@ -118,7 +118,7 @@ sometimes zero, for static data, or "uni
   int manyInts[10];
   manyInts[1] = 42;   // Creates a Direct binding for manyInts[1].
   print(manyInts[1]); // Retrieves the Direct binding for manyInts[1];
-  print(manyInts[0]); // There is no Direct binding for manyInts[1].
+  print(manyInts[0]); // There is no Direct binding for manyInts[0].
                       // Is there a Default binding for the entire array?
                       // There is not, but it is a stack variable, so we use
                       // "uninitialized" as the default value (and emit a
@@ -166,6 +166,6 @@ Here's a concrete example:
     return p2.x;    // The binding for FieldRegion 'p2.x' is requested.
                     // There is no Direct binding, so we look for a Default
                     // binding to 'p2' and find the LCV.
-                    // Because it's an LCV, we look at our requested region
+                    // Because it's a LCV, we look at our requested region
                     // and see that it's the '.x' field. We ask for the value
                     // of 'p.x' within the snapshot, and get back 42.




More information about the cfe-commits mailing list