ASDenysPetrov added inline comments.

================
Comment at: 
clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h:245-246
+    ///
+    /// Complexity: O(N^2)
+    ///             where N = size(What)
+    RangeSet castTo(RangeSet What, APSIntType Ty);
----------------
ASDenysPetrov wrote:
> vsavchenko wrote:
> > That is a bit of a red flag because instantly my intuition tells me that 
> > there should be a linear option.
> Unfortunately, `castTo` is N^2 because technically we can call `unite`(which 
> is N) inside it N times.
Corrected.
Unfortunately, castTo is N^2 because technically we can call unite(which is 
**N+M**) inside it N times.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103094/new/

https://reviews.llvm.org/D103094

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

Reply via email to