[all-commits] [llvm/llvm-project] efa8b6: [Analyzer][StreamChecker] Add check for pointer es...
Balázs Kéri via All-commits
all-commits at lists.llvm.org
Mon Jun 15 06:42:11 PDT 2020
Branch: refs/heads/master
Home: https://github.com/llvm/llvm-project
Commit: efa8b6e884aa4c3ad74ab44489352c0f80ac9741
https://github.com/llvm/llvm-project/commit/efa8b6e884aa4c3ad74ab44489352c0f80ac9741
Author: Balázs Kéri <1.int32 at gmail.com>
Date: 2020-06-15 (Mon, 15 Jun 2020)
Changed paths:
M clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
M clang/test/Analysis/stream.c
Log Message:
-----------
[Analyzer][StreamChecker] Add check for pointer escape.
Summary:
After an escaped FILE* stream handle it is not possible to make
reliable checks on it because any function call can have effect
on it.
Reviewers: Szelethus, baloghadamsoftware, martong, NoQ
Reviewed By: NoQ
Subscribers: NoQ, rnkovacs, xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gamesh411, Charusso, martong, ASDenysPetrov, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D80699
More information about the All-commits
mailing list