ParkHanbum wrote: Thank you very much for the detailed and thorough answer and guidance. Initially, I considered performing parameter checks within `evalStrcmpCommon`. However, since I'm not very familiar with static analyzers, I wasn't sure how entering `evalStrcmpCommon` might affect the logic handling `int strcmp(const char *, char)`, so I implemented it this way.
I will move the implementation to handle it after entering `evalStrcmpCommon` as you suggested, but I would appreciate gaining a better understanding of this related concept. P.S. Thank you for sharing tips on writing tests. https://github.com/llvm/llvm-project/pull/180544 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
