[PATCH] D40809: [WIP] [analyzer] Dump counterexample traces as C programs

[Alexander Shaposhnikov via Phabricator via cfe-commits]

alexshap added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:1976
+    unsigned FileEndOffset = SM.getFileOffset(SM.getLocForEndOfFile(FID));
+    for (unsigned i=Offset; BufferStart[i] != '\n' && i < FileEndOffset; ++i)
+      Ostream << BufferStart[i];
----------------
spaces around '=' (maybe clang-format this diff ?)


https://reviews.llvm.org/D40809