steakhal added a comment. In D106102#3082399 <https://reviews.llvm.org/D106102#3082399>, @manas wrote:
> Based on the information from debugger, the logs > <https://reviews.llvm.org/F19816216$339-341> show RangeSets `[0, 255]` and > `[INT_MIN, 0]` from different types > <https://reviews.llvm.org/F19816216$352-359> are causing the failure. > I tried producing a compact test case <https://reviews.llvm.org/F19816126>. > The essential part is the comparison between different types, as in this case > `unsigned int` and `int`. In other binary operators (BO_And, BO_Rem, etc.), > this gets handled by coarsing RangeSets to Ranges and converting those Ranges > to resulting type for comparison. This is missing in `BO_NE`. I suppose, this > may be the reason behind the signedness mismatch. > > One way to solve this would be to let the specialization of > `VisitBinaryOperator` (definition here > <https://github.com/llvm/llvm-project/blob/main/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp#L998>) > handle the coarse/convert, and then `VisitBinaryOperator<BO_NE>` checking > for any reasonable result which can be inferred from those Ranges. I think you are right. I'm gonna have a deeper look at this tomorrow. Until then you shouls figure out how this was avoided in other operations. Dealing with this for one and all seems promising. Ive seen multiple fixup commits resolving similar issues, so it seems to bite back regularly. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D106102/new/ https://reviews.llvm.org/D106102 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
