xazax.hun added inline comments.
================ Comment at: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:500 + // If the type of A - B is the same as the type of A, then use the type of + // B as the type of B - A. Otherwise keep the type of A - B. + SymbolRef negSym = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, ---------------- Could you give an example why do you need this (probably as a test), or constrain the transformation when all the types are the same? ================ Comment at: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:507 + State->get<ConstraintRange>(negSym)) { + // Do not negate an unsigned range set, unless it is [0, 0]. + if((negV->getConcreteValue() && ---------------- I think it would be better to describe why don't we want to do that rather than describing what the code does. https://reviews.llvm.org/D35110 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits