diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-21 21:13:19 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-21 21:13:19 -0400 |
| commit | 4325c82736d9e8a14b312fd1558e2788b69278cd (patch) | |
| tree | 8e53b80ff5ae389d5c0e2540b85e54fbbeac04b2 /gcc/rtl.h | |
| parent | fe97f09a0caeff2a22cc41b26bf08692bff8686d (diff) | |
| download | gcc-4325c82736d9e8a14b312fd1558e2788b69278cd.zip gcc-4325c82736d9e8a14b312fd1558e2788b69278cd.tar.gz gcc-4325c82736d9e8a14b312fd1558e2788b69278cd.tar.bz2 | |
analyzer: add kf_fopen
Add checking to -fanalyzer that both params of calls to "fopen" are
valid null-terminated strings.
gcc/analyzer/ChangeLog:
* kf.cc (class kf_fopen): New.
(register_known_functions): Register it.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/fopen-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/rtl.h')
0 files changed, 0 insertions, 0 deletions