[PATCH] D12701: [Static Analyzer] Objective-C Generics checker improvements.

[Anna Zaks via cfe-commits]

zaks.anna accepted this revision.
This revision is now accepted and ready to land.

================
Comment at: lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp:226
@@ +225,3 @@
+/// Inputs:
+///   There is a static lower bound (SL)
+///   There is a static upper bound (SL <: SU)
----------------
http://www.stack.nl/~dimitri/doxygen/manual/commands.html#cmdparam

Is it possible to make sure that the names used in the description match with the parameter names?

================
Comment at: lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp:230
@@ +229,3 @@
+/// Precondition:
+///   SL or SU is specialized. If current is not null, it is specialized.
+/// Possible cases:
----------------
Is this precondition checked?


http://reviews.llvm.org/D12701