HomePhabricator

[analyzer] StdLibraryFunctionsChecker: Add support to lookup types

Authored by martong on May 15 2020, 2:25 AM.

Description

[analyzer] StdLibraryFunctionsChecker: Add support to lookup types

Summary:
In this patch I am trying to get rid of the Irrelevant types from the
signatures of the functions from the standard C library. For that I've
introduced lookupType() to be able to lookup arbitrary types in the global
scope. This makes it possible to define the signatures precisely.

Note 1) fread's signature is now fixed to have the proper FILE *restrict
type when C99 is the language.
Note 2) There are still existing Irrelevant types, but they are all from
POSIX. I am planning to address those together with the missing POSIX functions
(in D79433).

Reviewers: xazax.hun, NoQ, Szelethus, balazske

Subscribers: whisperity, baloghadamsoftware, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, gamesh411, Charusso, steakhal, ASDenysPetrov, cfe-commits

Tags: #clang

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

Details

Committed
martongMay 29 2020, 8:42 AM
Differential Revision
D80016: [analyzer] StdLibraryFunctionsChecker: Add support to lookup types
Parents
rG9e0b52e2e684: [AMDGPU] Remove duplicate test cases
Branches
Unknown
Tags
Unknown