[Bug c/89526] New: Diagnose errors in asserts

[david.bolvansky at gmail dot com]

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

            Bug ID: 89526
           Summary: Diagnose errors in asserts
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: david.bolvansky at gmail dot com
  Target Milestone: ---

GCC trunk -Wall -Wextra

#include <assert.h>

int foo(int *x) {
    assert(x && "nullptr");
    return *x;
}

int foo2(int *x) {
    assert("nullptr");  // should warn
    return *x;
}