[Bug c/66098] New: #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow

[Bug c/66098] New: #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow

[dd0t at users dot sourceforge.net]

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

            Bug ID: 66098
           Summary: #pragma diagnostic 'ignored' not fully undone by pop
                    for strict-overflow
           Product: gcc
           Version: 5.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dd0t at users dot sourceforge.net
  Target Milestone: ---

Created attachment 35516
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35516&action=edit
Repro case with description

Attached is a sample that uses #pragma diagnostic push, ignored, pop to
temporarily disable a strict-overflow warning in a compilation with -Werror .
As expected the warning is suppressed so no error is created. However the pop
does not seem to fully restore the state to before the push. Triggering another
strict-overflow warning afterwards will produce the expected warning but even
though -Werror is enabled will not result in an error.

This behavior is present in gcc and g++ 5.1.0 and 5.1.1. With 4.9.2 however the
sample results in the expected error due to -Werror so this looks like a
regression.

// gcc -fstrict-overflow -Wstrict-overflow -Werror pop.c
// g++ -fstrict-overflow -Wstrict-overflow -Werror pop.c
//
// Incorrectly compiles with warning in g++/gcc 5.1.0 / 5.1.1
// Correctly shows error with 4.9.2.

void testing2() {
#pragma GCC diagnostic push
// Some of this pragma's change leaves the push/pop scope in some way.
// Only if it's commented out does the warning in testing3
// correctly produce an error. The pop seems to only partially
// undo it so that the error still becomes visible as a warning.
// If pop didn't do anything nothing should be visible.
#pragma GCC diagnostic ignored "-Wstrict-overflow"
        int j = 4;
        j + 4 < j;
#pragma GCC diagnostic pop
}

void testing3() {
    int k = 4;
    k + 4 < k;
}

int main() {
    testing2();
    testing3();

    return 0;
}

[Bug c/66098] #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow

[dd0t at users dot sourceforge.net]

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

--- Comment #1 from Stefan H. <dd0t at users dot sourceforge.net> ---
I should probably mention that I found this while trying to create a repro case
for a potentially related g++ issue I encountered:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66099 .

[Bug c/66098] #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-06-03
                 CC|                            |manu at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
This is my fault. When I fixed the handling of defaults in the command-line
(PR59304), I failed to handle the case of using -Werror.

This should fix it:

Index: diagnostic.c
===================================================================
--- diagnostic.c        (revision 223651)
+++ diagnostic.c        (working copy)
@@ -695,13 +695,14 @@ diagnostic_classify_diagnostic (diagnost
       int i;

       /* Record the command-line status, so we can reset it back on DK_POP. */
       if (old_kind == DK_UNSPECIFIED)
        {
-         old_kind = context->option_enabled (option_index,
+         old_kind = !context->option_enabled (option_index,
                                              context->option_state)
-           ? DK_WARNING : DK_IGNORED;
+           ? DK_IGNORED : (context->warning_as_error_requested
+                           ? DK_ERROR: DK_WARNING);
          context->classify_diagnostic[option_index] = old_kind;
        }

       for (i = context->n_classification_history - 1; i >= 0; i --)
        if (context->classification_history[i].option == option_index)
>From gcc-bugs-return-487939-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jun 03 08:53:47 2015
Return-Path: <gcc-bugs-return-487939-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 106966 invoked by alias); 3 Jun 2015 08:53:47 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 106944 invoked by uid 48); 3 Jun 2015 08:53:43 -0000
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/66099] _Pragma diagnostic 'ignored' in macro with strict-overflow not suppressing warning fully with -Werror
Date: Wed, 03 Jun 2015 08:53:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: manu at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-66099-4-aHQ12nSblw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66099-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66099-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-06/txt/msg00271.txt.bz2
Content-length: 1805

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-06-03
                 CC|                            |manu at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
This is because the location of the warning is given at 21:19, which is not
within the range affected by the #pragmas. Whether the warning should be given
at the macro definition point or at the expansion point is a matter of debate
(there are at least two PRs open about this, but I don't remember the numbers).

Differences between C and C++ are spurious and may lead to the pragmas applying
or not:

cc1:
/home/manuel/test2/pr66099.cc:21:3: error: assuming signed overflow does not
occur when assuming that (X + c) < X is always false [-Werror=strict-overflow]
   TESTING(i + 4 < i);
   ^

cc1plus:

/home/manuel/test2/pr66099.cc:21:19: error: assuming signed overflow does not
occur when assuming that (X + c) < X is always false [-Werror=strict-overflow]
   TESTING(i + 4 < i);
                   ^

Someone would need to track the locations in GDB and understand why they
diverge. Unfortunately, this is not something that usual devs will spend time
on given the amount of other things waiting to be fixed. If this is important
to you, I would recommend to try to figure out the reason yourself. Once the
problem is clear, it is far more likely that a GCC dev will produce a patch and
fix it.
>From gcc-bugs-return-487938-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jun 03 08:53:07 2015
Return-Path: <gcc-bugs-return-487938-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 104859 invoked by alias); 3 Jun 2015 08:53:07 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 104596 invoked by uid 48); 3 Jun 2015 08:53:03 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/66387] [5/6 Regression] ICE in make_decl_rtl with lambda
Date: Wed, 03 Jun 2015 08:53:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.2
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-66387-4-FzLv6WYjBq@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66387-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66387-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-06/txt/msg00270.txt.bz2
Content-length: 560

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf387

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-06-03
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug c/66098] [5/6 regression] #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
   Target Milestone|---                         |5.3
            Summary|#pragma diagnostic          |[5/6 regression] #pragma
                   |'ignored' not fully undone  |diagnostic 'ignored' not
                   |by pop for strict-overflow  |fully undone by pop for
                   |                            |strict-overflow
>From gcc-bugs-return-494563-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 11 13:34:37 2015
Return-Path: <gcc-bugs-return-494563-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 51123 invoked by alias); 11 Aug 2015 13:34:37 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 51002 invoked by uid 55); 11 Aug 2015 13:34:34 -0000
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/66098] [5/6 regression] #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow
Date: Tue, 11 Aug 2015 13:34:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: manu at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66098-4-Uokirorzrj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66098-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66098-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00705.txt.bz2
Content-length: 961

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

--- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
Author: manu
Date: Tue Aug 11 13:34:00 2015
New Revision: 226780

URL: https://gcc.gnu.org/viewcvs?rev=226780&root=gcc&view=rev
Log:
gcc/ChangeLog:

2015-08-11  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR c/66098
        PR c/66711
        * diagnostic.c (diagnostic_classify_diagnostic): Take -Werror into
        account when deciding what was the command-line status.

gcc/testsuite/ChangeLog:

2015-08-11  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR c/66098
        PR c/66711
        * gcc.dg/pragma-diag-3.c: New test.
        * gcc.dg/pragma-diag-4.c: New test.



Added:
    trunk/gcc/testsuite/gcc.dg/pragma-diag-3.c
    trunk/gcc/testsuite/gcc.dg/pragma-diag-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/diagnostic.c
    trunk/gcc/testsuite/ChangeLog
>From gcc-bugs-return-494564-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 11 13:34:38 2015
Return-Path: <gcc-bugs-return-494564-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 51131 invoked by alias); 11 Aug 2015 13:34:37 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 50523 invoked by uid 55); 11 Aug 2015 13:34:33 -0000
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/66711] GCC does not correctly restore diagnostic state after pragma GCC diagnostic pop with -Werror
Date: Tue, 11 Aug 2015 13:34:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.1.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: manu at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: DUPLICATE
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66711-4-jKbHyWP3qP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66711-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66711-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00706.txt.bz2
Content-length: 961

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

--- Comment #3 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
Author: manu
Date: Tue Aug 11 13:34:00 2015
New Revision: 226780

URL: https://gcc.gnu.org/viewcvs?rev=226780&root=gcc&view=rev
Log:
gcc/ChangeLog:

2015-08-11  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR c/66098
        PR c/66711
        * diagnostic.c (diagnostic_classify_diagnostic): Take -Werror into
        account when deciding what was the command-line status.

gcc/testsuite/ChangeLog:

2015-08-11  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        PR c/66098
        PR c/66711
        * gcc.dg/pragma-diag-3.c: New test.
        * gcc.dg/pragma-diag-4.c: New test.



Added:
    trunk/gcc/testsuite/gcc.dg/pragma-diag-3.c
    trunk/gcc/testsuite/gcc.dg/pragma-diag-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/diagnostic.c
    trunk/gcc/testsuite/ChangeLog
>From gcc-bugs-return-494565-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 11 13:36:11 2015
Return-Path: <gcc-bugs-return-494565-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 55388 invoked by alias); 11 Aug 2015 13:36:10 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 55286 invoked by uid 48); 11 Aug 2015 13:36:07 -0000
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/66098] [5 regression] #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow
Date: Tue, 11 Aug 2015 13:36:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: manu at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: short_desc
Message-ID: <bug-66098-4-zEmHFOocPr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66098-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66098-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00707.txt.bz2
Content-length: 750

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[5/6 regression] #pragma    |[5 regression] #pragma
                   |diagnostic 'ignored' not    |diagnostic 'ignored' not
                   |fully undone by pop for     |fully undone by pop for
                   |strict-overflow             |strict-overflow

--- Comment #5 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
Fixed for GCC 6. 

I'm not planning to seek approval for a backport, but it should be fairly safe
and easy to do so.
>From gcc-bugs-return-494566-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 11 13:40:16 2015
Return-Path: <gcc-bugs-return-494566-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 61018 invoked by alias); 11 Aug 2015 13:40:16 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 60913 invoked by uid 48); 11 Aug 2015 13:40:12 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/67136] sanitizer reports "member access within null pointer" for correct C++ code
Date: Tue, 11 Aug 2015 13:40:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 5.2.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc assigned_to target_milestone everconfirmed bug_severity
Message-ID: <bug-67136-4-SA9n315tpO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67136-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67136-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00708.txt.bz2
Content-length: 896

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg136

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-08-11
                 CC|                            |mpolacek at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.3
     Ever confirmed|0                           |1
           Severity|major                       |normal

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I fixed this on trunk with r226110.  This should be safe to backport.
(That commit had a follow-up, but I don't think it is needed to fix this bug.)