Hi everyone,
This is an in-progress patch for adding three new function attributes to
GCC for static analysis of file descriptor APIs (which is a part of my GSoC
project)
1) __attribute__((accesses_fd(N)))
This attribute expected argument N of a function to be an open file
descriptor. (see test_
---
gcc/analyzer/sm-fd.cc| 231 ---
gcc/c-family/c-attribs.cc| 63
gcc/testsuite/gcc.dg/analyzer/fd-5.c | 44 +
gcc/testsuite/gcc.dg/analyzer/fd-6.c | 4 +
4 files changed, 322 insertions(+), 20 deletions(-)
create mode 100644 g
