[PATCH] D25326: [StaticAnalyser] Don't merge different returns in ExplodedGraph

Aleksei Sidorin via cfe-commits cfe-commits at lists.llvm.org
Fri Oct 7 10:13:19 PDT 2016


a.sidorin added inline comments.


================
Comment at: test/Analysis/unreachable-code-path.c:201
+static int inlineFunction(const int i) {
+  if (table[i] != 0)
+    return 1;
----------------
I have a small question. Is it possible to simplify this sample with removing of table[] array? Like putting something like `i != 0` into condition. As I understand, the problem is not array-related.


https://reviews.llvm.org/D25326





More information about the cfe-commits mailing list