[Bug analyzer/106286] fd_diagnostic should implement get_meaning_for_state_change vfunc

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106286

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Immad Mir <m...@gcc.gnu.org>:

https://gcc.gnu.org/g:0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0

commit r13-1860-g0f82c0ea8d86ee3bb404c460a04ff2ccfb56d2a0
Author: Immad Mir <mirim...@outlook.com>
Date:   Wed Jul 27 19:16:36 2022 +0530

    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 <mirim...@outlook.com>