diff options
| author | Immad Mir <mirimmad@outlook.com> | 2022-07-27 19:16:36 +0530 |
|---|---|---|
| committer | Immad Mir <mirimmad@outlook.com> | 2022-07-27 19:16:43 +0530 |
| commit | 0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0 (patch) | |
| tree | 9b3ff23609408512da617ee3bb23e5311f788298 /gcc/analyzer | |
| parent | c2481a6bb70a23a9e279c4f23cf76671afca2145 (diff) | |
| download | gcc-0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0.zip gcc-0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0.tar.gz gcc-0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0.tar.bz2 | |
analyzer: add get_meaning_for_state_change vfunc to fd_diagnostic in sm-fd.cc [PR106286]
This patch adds get_meaning_for_state_change vfunc to
fd_diagnostic in sm-fd.cc which could be used by SARIF output.
Lightly tested on x86_64 Linux.
gcc/analyzer/ChangeLog:
PR analyzer/106286
* sm-fd.cc:
(fd_diagnostic::get_meaning_for_state_change): New.
gcc/testsuite/ChangeLog:
PR analyzer/106286
* gcc.dg/analyzer/fd-meaning.c: New test.
Signed-off-by: Immad Mir <mirimmad@outlook.com>
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/sm-fd.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/analyzer/sm-fd.cc b/gcc/analyzer/sm-fd.cc index 56b0063..ed923ad 100644 --- a/gcc/analyzer/sm-fd.cc +++ b/gcc/analyzer/sm-fd.cc @@ -229,6 +229,20 @@ public: return label_text (); } + diagnostic_event::meaning + get_meaning_for_state_change ( + const evdesc::state_change &change) const final override + { + if (change.m_old_state == m_sm.get_start_state () + && (m_sm.is_unchecked_fd_p (change.m_new_state))) + return diagnostic_event::meaning (diagnostic_event::VERB_acquire, + diagnostic_event::NOUN_resource); + if (change.m_new_state == m_sm.m_closed) + return diagnostic_event::meaning (diagnostic_event::VERB_release, + diagnostic_event::NOUN_resource); + return diagnostic_event::meaning (); + } + protected: const fd_state_machine &m_sm; tree m_arg; |