diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:38 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:38 -0400 |
| commit | 5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9 (patch) | |
| tree | f0ce6c907e91f70e8eb515ebe398a1aeaa69b7e8 /gcc/analyzer/known-function-manager.h | |
| parent | 9aaec66917c96a8d27166049d14c092da9e8361b (diff) | |
| download | gcc-5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9.zip gcc-5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9.tar.gz gcc-5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9.tar.bz2 | |
analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]
gcc/analyzer/ChangeLog:
PR analyzer/105899
* region-model.cc (iterable_cluster::iterable_cluster): Add
symbolic binding keys to m_symbolic_bindings.
(iterable_cluster::has_symbolic_bindings_p): New.
(iterable_cluster::m_symbolic_bindings): New field.
(region_model::scan_for_null_terminator): Treat clusters with
symbolic bindings as having unknown strlen.
gcc/testsuite/ChangeLog:
PR analyzer/105899
* gcc.dg/analyzer/sprintf-1.c: Include "analyzer-decls.h".
(test_strlen_1): New.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/known-function-manager.h')
0 files changed, 0 insertions, 0 deletions