projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bba54d6) | patch
analyzer: make extrinsic_state field private
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 30 Jan 2020 21:38:35 +0000 (16:38 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 31 Jan 2020 00:24:06 +0000 (19:24 -0500)
commitebe9174e940c94e99cd688a05309833ae64a998b
tree9deb6cf932b3cf1ef2d6a91c0c25ba134200537ctree
parentbba54d62af59c957b8a4d2f31de21a4c56a2e323commit | diff
analyzer: make extrinsic_state field private

gcc/analyzer/ChangeLog:
* diagnostic-manager.cc (for_each_state_change): Use
extrinsic_state::get_num_checkers rather than accessing m_checkers
directly.
* program-state.cc (program_state::program_state): Likewise.
* program-state.h (extrinsic_state::m_checkers): Make private.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/diagnostic-manager.cc diff | blob | history
gcc/analyzer/program-state.cc diff | blob | history
gcc/analyzer/program-state.h diff | blob | history