NoQ added a comment. > There is the reinterpret-cast operation which is capable of crossing these > two domains, producing an expression that can participate in arithmetic > operations, but on the abstract domain side, we still stick to Locs
Such cast should turn the `loc::ConcreteInt` into a `nonloc::ConcreteInt` with the same integral value. The distinction between Loc and NonLoc is very important. It's at the core of our type correctness. We should fight tooth and nail to preserve it because assertions such as the one removed here help us discover a lot of bugs in other places. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D115149/new/ https://reviews.llvm.org/D115149 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
