[Bug c/81233] --Wdiscarded-qualifiers and Wincompatible-pointer-types missing important detail

[aldyh at gcc dot gnu.org]

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

--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Wed Sep 13 16:42:21 2017
New Revision: 252354

URL: https://gcc.gnu.org/viewcvs?rev=252354&root=gcc&view=rev
Log:
        PR c/81233
        * c-typeck.c (pedwarn_init): Make the function take a variable list.
        Call emit_diagnostic_valist instead of pedwarn.
        (convert_for_assignment): Unroll the PEDWARN_FOR_ASSIGNMENT macro.
        Print the relevant types in diagnostics.

        * diagnostic-core.h (emit_diagnostic_valist): Add declaration.
        * diagnostic.c (emit_diagnostic): Add a comment.
        (emit_diagnostic_valist): New function.

        * gcc.dg/diagnostic-types-1.c: New test.
        * gcc.dg/assign-warn-1.c: Update warning messages.
        * gcc.dg/assign-warn-2.c: Likewise.
        * gcc.dg/c90-const-expr-5.c: Likewise.
        * gcc.dg/c99-const-expr-5.c: Likewise.
        * gcc.dg/conv-2.c: Likewise.
        * gcc.dg/init-bad-7.c: Likewise.
        * gcc.dg/overflow-warn-1.c: Likewise.
        * gcc.dg/overflow-warn-2.c: Likewise.
        * gcc.dg/overflow-warn-3.c: Likewise.
        * gcc.dg/overflow-warn-4.c: Likewise.
        * gcc.dg/pointer-array-atomic.c: Likewise.
        * gcc.dg/pr26865.c: Likewise.
        * gcc.dg/pr61162-2.c: Likewise.
        * gcc.dg/pr61162.c: Likewise.
        * gcc.dg/pr67730-2.c: Likewise.
        * gcc.dg/pr69156.c: Likewise.
        * gcc.dg/pr70174.c: Likewise.
        * objc.dg/proto-lossage-4.m: Likewise.

Added:
    branches/range-gen2/gcc/testsuite/gcc.dg/diagnostic-types-1.c
Modified:
    branches/range-gen2/gcc/ChangeLog
    branches/range-gen2/gcc/c/ChangeLog
    branches/range-gen2/gcc/c/c-typeck.c
    branches/range-gen2/gcc/diagnostic-core.h
    branches/range-gen2/gcc/diagnostic.c
    branches/range-gen2/gcc/testsuite/ChangeLog
    branches/range-gen2/gcc/testsuite/gcc.dg/assign-warn-1.c
    branches/range-gen2/gcc/testsuite/gcc.dg/assign-warn-2.c
    branches/range-gen2/gcc/testsuite/gcc.dg/c90-const-expr-5.c
    branches/range-gen2/gcc/testsuite/gcc.dg/c99-const-expr-5.c
    branches/range-gen2/gcc/testsuite/gcc.dg/conv-2.c
    branches/range-gen2/gcc/testsuite/gcc.dg/init-bad-7.c
    branches/range-gen2/gcc/testsuite/gcc.dg/overflow-warn-1.c
    branches/range-gen2/gcc/testsuite/gcc.dg/overflow-warn-2.c
    branches/range-gen2/gcc/testsuite/gcc.dg/overflow-warn-3.c
    branches/range-gen2/gcc/testsuite/gcc.dg/overflow-warn-4.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pointer-array-atomic.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr26865.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr61162-2.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr61162.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr67730-2.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr69156.c
    branches/range-gen2/gcc/testsuite/gcc.dg/pr70174.c
    branches/range-gen2/gcc/testsuite/objc.dg/proto-lossage-4.m