[Bug analyzer/113253] [12 Regression] gcc -g causes -fanalyzer to issue false positive

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

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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Yong <jy...@gcc.gnu.org>:

https://gcc.gnu.org/g:9ea6bdac02af61f360b5741bef978be02924252d

commit r15-9337-g9ea6bdac02af61f360b5741bef978be02924252d
Author: Jonathan Yong <10wa...@gmail.com>
Date:   Mon Apr 7 15:40:05 2025 +0000

    deref-before-check-pr113253.c: Fix bogus warnings on lp32

    Warnings about pointer sizes cause the test to fail
    incorrectly. A dummy return value is also added to
    set_marker_internal for completeness to suppress a
    -Wreturn-type warning even though gcc does not issue
    it by default.

    Signed-off-by: Jonathan Yong <10wa...@gmail.com>

    gcc/testsuite/ChangeLog:

            PR analyzer/113253
            * gcc.dg/analyzer/deref-before-check-pr113253.c:
            (ptrdiff_t): use stddef.h type.
            (uintptr_t): ditto.
            (EMACS_INT): ditto.
            (set_marker_internal): Add dummy 0 to suppress -Wreturn-type.