ASDenysPetrov added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:1088 } + +SVal clang::ento::SValBuilder::simplifySymbolCast(nonloc::SymbolVal V, ---------------- Notify the user about the contract. ================ Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:1095-1097 + auto SV = makeSymbolVal(SE); + assert(SV == V); + return SV; ---------------- Explain please, why do you need to create a new `SymbolVal` here, but not just returning `V` as long as you know that the type is the same? And `assert` also seems weird for me. If there's smth obscure that you're trying to handle, please add some explaination comment. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D117229/new/ https://reviews.llvm.org/D117229 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits