diff options
| author | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
|---|---|---|
| committer | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
| commit | e252b51ccde010cbd2a146485d8045103cd99533 (patch) | |
| tree | e060f101cdc32bf5e520de8e5275db9d4236b74c /gcc/analyzer/sm.cc | |
| parent | f10c7c4596dda99d2ee872c995ae4aeda65adbdf (diff) | |
| parent | 104c05c5284b7822d770ee51a7d91946c7e56d50 (diff) | |
| download | gcc-e252b51ccde010cbd2a146485d8045103cd99533.zip gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.gz gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.bz2 | |
Merge from trunk revision 104c05c5284b7822d770ee51a7d91946c7e56d50.
Diffstat (limited to 'gcc/analyzer/sm.cc')
| -rw-r--r-- | gcc/analyzer/sm.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/analyzer/sm.cc b/gcc/analyzer/sm.cc index 2d227dd..db07bf3 100644 --- a/gcc/analyzer/sm.cc +++ b/gcc/analyzer/sm.cc @@ -35,6 +35,11 @@ along with GCC; see the file COPYING3. If not see #include "analyzer/analyzer.h" #include "analyzer/analyzer-logging.h" #include "analyzer/sm.h" +#include "tristate.h" +#include "analyzer/call-string.h" +#include "analyzer/program-point.h" +#include "analyzer/store.h" +#include "analyzer/svalue.h" #if ENABLE_ANALYZER @@ -48,6 +53,15 @@ any_pointer_p (tree var) return POINTER_TYPE_P (TREE_TYPE (var)); } +/* Return true if SVAL has pointer or reference type. */ + +bool +any_pointer_p (const svalue *sval) +{ + if (!sval->get_type ()) + return false; + return POINTER_TYPE_P (sval->get_type ()); +} /* class state_machine::state. */ |