[Analyzer][StreamChecker] Introduction of stream error handling.
authorBalázs Kéri <1.int32@gmail.com>
Wed, 8 Apr 2020 06:52:24 +0000 (08:52 +0200)
committerBalázs Kéri <1.int32@gmail.com>
Wed, 8 Apr 2020 09:30:19 +0000 (11:30 +0200)
commit11bd3e5c6549a4983be454ccfbeb16e88c9532db
tree7ee2b435ab05d4a514c93f10dfaca3b7e794ee54
parent432720f1c4c6b47edfb475f8616e471d14c26974
[Analyzer][StreamChecker] Introduction of stream error handling.

Summary:
Store the error flags (EOF or error) of a stream.
Support the functions feof, ferror, clearerr.
Added a test checker for setting the error flags.

Reviewers: Szelethus, NoQ, Charusso, baloghadamsoftware, xazax.hun

Reviewed By: Szelethus

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

Tags: #clang

Differential Revision: https://reviews.llvm.org/D75682
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
clang/test/Analysis/Inputs/system-header-simulator.h
clang/test/Analysis/stream-error.c [new file with mode: 0644]
clang/test/Analysis/stream.c