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
tree9deb6cf932b3cf1ef2d6a91c0c25ba134200537c
parentbba54d62af59c957b8a4d2f31de21a4c56a2e323
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
gcc/analyzer/diagnostic-manager.cc
gcc/analyzer/program-state.cc
gcc/analyzer/program-state.h