baloghadamsoftware added a comment.
Unfortunately, I could not create test for it. It is extremely rare that the
//Analyzer// creates an `UndefinedVal`. I had the following output:
1. <eof> parser at end of file
2. While analyzing stack:
#0 Calling llvm::object::BindRebaseSegInfo::BindRebaseSegInfo at line
/usr/include/c++/7/bits/unique_ptr.h:821:34
#1 Calling std::make_unique at line 4094
#2 Calling llvm::object::MachOObjectFile::bindTable at line 4115
#3 Calling llvm::object::MachOObjectFile::weakBindTable
3. /home/edmbalo/llvm-project/llvm/lib/Object/MachOObjectFile.cpp:4004:28:
Error evaluating statement
4. /home/edmbalo/llvm-project/llvm/lib/Object/MachOObjectFile.cpp:4004:28:
Error evaluating statement
I was analyzing `llvm/lib/Object/MachOObjectFile.cpp` with all the
iterator-related checkers enabled.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85424/new/
https://reviews.llvm.org/D85424
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
