baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added inline comments.


================
Comment at: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:675-677
+  /// is on the right. This is only done if both concrete integers are greater
+  /// than or equal to the quarter of the minimum value of the type and less
+  /// than or equal to the quarter of the maximum value of that type.
----------------
NoQ wrote:
> I believe that we should mention that the integers are signed.
Also the symbols were forgotten. They must be in the range as well and must 
also be signed integers.


https://reviews.llvm.org/D41938



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to