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/analyzer-selftests.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/analyzer-selftests.cc')
| -rw-r--r-- | gcc/analyzer/analyzer-selftests.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/analyzer/analyzer-selftests.cc b/gcc/analyzer/analyzer-selftests.cc index 8f52ce2..99b730a 100644 --- a/gcc/analyzer/analyzer-selftests.cc +++ b/gcc/analyzer/analyzer-selftests.cc @@ -50,6 +50,7 @@ run_analyzer_selftests () { #if ENABLE_ANALYZER analyzer_constraint_manager_cc_tests (); + analyzer_function_set_cc_tests (); analyzer_program_point_cc_tests (); analyzer_program_state_cc_tests (); analyzer_region_model_cc_tests (); |