llvm-project
7dd20637 - Improve modeling of 'getcwd' in the StdLibraryFunctionsChecker (#77040)

Commit

2 years ago

Improve modeling of 'getcwd' in the StdLibraryFunctionsChecker (#77040) 1. Improve the 'errno' modeling. 2. Improve constraints of the arguments.

References

Author

benshi001

Parents