analyzer: add function-set.cc/h
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 19 Dec 2019 20:43:04 +0000 (15:43 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 14 Jan 2020 23:51:44 +0000 (18:51 -0500)
commita6b5f19c37001d7c9974248ffcb65aadba33283c
tree522a2e34cdbf13604d0dc0f2bd527d9239843797
parentef7827b0bd7cd980da625fcd12e6c56f51a166c2
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.
gcc/ChangeLog
gcc/Makefile.in
gcc/analyzer/ChangeLog
gcc/analyzer/analyzer-selftests.cc
gcc/analyzer/analyzer-selftests.h
gcc/analyzer/function-set.cc [new file with mode: 0644]
gcc/analyzer/function-set.h [new file with mode: 0644]