[PATCH] D18438: Calculate __builtin_object_size when pointer depends on a condition

[Strahinja Petrovic via llvm-commits]

spetrovic added inline comments.

================
Comment at: lib/Analysis/MemoryBuiltins.cpp:574
@@ +573,3 @@
+        FalseSide.second.sgt(FalseSide.first)) {
+      return unknown();
+    }
----------------
What do you think if we return unknown value if one of sides (true or false) has offset out of bounds, or you have some advice to return something else? Second proposal is to return some invalid value in SizeOffsetType object?


Repository:
  rL LLVM

http://reviews.llvm.org/D18438