diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2019-12-19 15:43:04 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-01-14 18:51:44 -0500 |
| commit | a6b5f19c37001d7c9974248ffcb65aadba33283c (patch) | |
| tree | 522a2e34cdbf13604d0dc0f2bd527d9239843797 /gcc/analyzer/sm-signal.cc | |
| parent | ef7827b0bd7cd980da625fcd12e6c56f51a166c2 (diff) | |
| download | gcc-a6b5f19c37001d7c9974248ffcb65aadba33283c.zip gcc-a6b5f19c37001d7c9974248ffcb65aadba33283c.tar.gz gcc-a6b5f19c37001d7c9974248ffcb65aadba33283c.tar.bz2 | |
analyzer: add function-set.cc/h
This patch adds a simple mechanism for tracking sets of functions
for which a particular property holds, as a pragmatic way to build
knowledge about important APIs into the analyzer without requiring
markup of the user's libc.
gcc/ChangeLog:
* Makefile.in (ANALYZER_OBJS): Add analyzer/function-set.o.
gcc/analyzer/ChangeLog:
* analyzer-selftests.cc (selftest::run_analyzer_selftests): Call
selftest::analyzer_function_set_cc_tests.
* analyzer-selftests.h (selftest::analyzer_function_set_cc_tests):
New decl.
* function-set.cc: New file.
* function-set.h: New file.
Diffstat (limited to 'gcc/analyzer/sm-signal.cc')
0 files changed, 0 insertions, 0 deletions