HomePhabricator

[analyzer] Fix modeling some library functions when UCHAR_MAX > INT_MAX.

Authored by dergachev.a on Mar 15 2020, 9:03 PM.

Description

[analyzer] Fix modeling some library functions when UCHAR_MAX > INT_MAX.

This makes life easier for downstream users who maintain exotic
target platforms.

Patch by Vince Bridgers!

Differential Revision: https://reviews.llvm.org/D75529

Details