[PATCH] D45774: [analyzer] cover more cases where a Loc can be bound to constants

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/RegionStore.cpp:1720
+    // Either the record variable or the field has to be const qualified.
+    if (RecordVarTy.isConstQualified() || Ty.isConstQualified()) {
+      if (const Expr *Init = VD->getInit()) {
----------------
style note -- by LLVM coding standards `{`'s are usually omitted when there's only a single statement inside the guard. Would help to avoid giant towers of `}`'s


Repository:
  rC Clang

https://reviews.llvm.org/D45774