llvm-project
59edc10b - [analyzer] Match standard libraries regardless `restrict` qualifier

Commit
4 days ago
[analyzer] Match standard libraries regardless `restrict` qualifier Remove the `restrict` sensitivity from StdLibraryFunctionsChecker to simplify the code and remove the risk of a failure to match. c5dd283d2f2409dfca13628e15bbf0e526dfc3f0 demonstrates that UCRT does not specify the `restrict` qualifiers leading to non-matches in StdLibraryFunctionsChecker. There might be other non-standard-compliant libc implementations that share this drawback. The `restrict` sensitivity does not seem to improve analyzer precision in any practical case, yet it increases code complexity and adds a risk of FNs as happened with UCRT. -- CPP-9480
Author
Parents
Loading