[Bug testsuite/105085] New: Excess errors from new test case gcc.dg/analyzer/untracked-1.c in r12-7809-g5f6197d7c197f9

[Bug testsuite/105085] New: Excess errors from new test case gcc.dg/analyzer/untracked-1.c in r12-7809-g5f6197d7c197f9

[seurer at gcc dot gnu.org]

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

            Bug ID: 105085
           Summary: Excess errors from new test case
                    gcc.dg/analyzer/untracked-1.c in
                    r12-7809-g5f6197d7c197f9
           Product: gcc
           Version: 11.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:5f6197d7c197f9d2b7fb2e1a19dac39a023755e8, r12-7809-g5f6197d7c197f9
make  -k check-gcc RUNTESTFLAGS="analyzer.exp=gcc.dg/analyzer/untracked-1.c"
FAIL: gcc.dg/analyzer/untracked-1.c (test for excess errors)
# of expected passes            13
# of unexpected failures        1


FAIL: gcc.dg/analyzer/untracked-1.c (test for excess errors)
Excess errors:
cc1: warning: track '*.LC1': yes

Author: David Malcolm <dmalcolm@redhat.com>
Date:   Thu Mar 24 20:58:10 2022 -0400

    analyzer: add region::tracked_p to optimize state objects [PR104954]

[Bug testsuite/105085] Excess errors from new test case gcc.dg/analyzer/untracked-1.c in r12-7809-g5f6197d7c197f9

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-03-29

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for reporting this.

Sorry about the noise; am working on a fix.

[Bug testsuite/105085] Excess errors from new test case gcc.dg/analyzer/untracked-1.c in r12-7809-g5f6197d7c197f9

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:c788a0eae0a7144e6f148162512fa2e93a45a035

commit r12-7905-gc788a0eae0a7144e6f148162512fa2e93a45a035
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Mar 29 17:50:48 2022 -0400

    analyzer: skip constant pool in -fdump-analyzer-untracked [PR
testsuite/105085]

    In r12-7809-g5f6197d7c197f9 I added -fdump-analyzer-untracked as support
    for DejaGnu testing of an optimization of -fanalyzer,
    PR analyzer/104954.

    PR testsuite/105085 notes testsuite failures of the form:
      FAIL: gcc.dg/analyzer/untracked-1.c (test for excess errors)
      Excess errors:
      cc1: warning: track '*.LC1': yes
    where these warnings are emitted on some targets where the test
    causes labelled constants to be created in the constant pool.

    We probably ought not to be tracking the values of such decls in the
    store, given that they're meant to be constant, and I attempted various
    fixes to make the "should we track this decl" logic smarter, but given
    that we're in stage 4, the simplest fix seems to be for
    -fdump-analyzer-untracked to skip such decls in its output, to minimize
    test output differences between targets.

    gcc/analyzer/ChangeLog:
            PR testsuite/105085
            * region-model-manager.cc (dump_untracked_region): Skip decls in
            the constant pool.

    gcc/testsuite/ChangeLog:
            PR testsuite/105085
            * gcc.dg/analyzer/untracked-1.c: Add further test coverage.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>

[Bug testsuite/105085] Excess errors from new test case gcc.dg/analyzer/untracked-1.c in r12-7809-g5f6197d7c197f9

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |dmalcolm at gcc dot gnu.org
             Status|ASSIGNED                    |RESOLVED

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by the above commit; please reopen if it doesn't.