]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/analyzer/sm-fd.cc
analyzer: add get_meaning_for_state_change vfunc to fd_diagnostic in sm-fd.cc [PR106286]
authorImmad Mir <mirimmad@outlook.com>
Wed, 27 Jul 2022 13:46:36 +0000 (19:16 +0530)
committerImmad Mir <mirimmad@outlook.com>
Wed, 27 Jul 2022 13:46:43 +0000 (19:16 +0530)
commit0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0
tree9b3ff23609408512da617ee3bb23e5311f788298
parentc2481a6bb70a23a9e279c4f23cf76671afca2145
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>
gcc/analyzer/sm-fd.cc
gcc/testsuite/gcc.dg/analyzer/fd-meaning.c [new file with mode: 0644]