middle-end: Fix stalled swapped condition code value [PR115836]

[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / null-deref-pr110520.c

#include "analyzer-decls.h"

int main(void) {
    char buf[] = "0";
    int *ptr = (int *)(__builtin_strlen(buf) - 1);
    __analyzer_eval((__builtin_strlen(buf)) == 1); /* { dg-warning "TRUE" } */
    *ptr = 10086; /* { dg-warning "dereference of NULL 'ptr'" } */
}