// RUN: %clang_analyze_cc1 -std=c++23 -analyzer-checker=core -verify %s
// RUN: %clang_analyze_cc1 -std=c++26 -analyzer-checker=core -verify %s

void test_consteval() {
  if consteval {
    int *ptr = nullptr;
    *ptr = 42; // expected-warning{{Dereference of null pointer (loaded from variable 'ptr')}}
  }
}

void test_not_consteval() {
  if !consteval {
    int *ptr = nullptr;
    *ptr = 42; // expected-warning{{Dereference of null pointer (loaded from variable 'ptr')}}
  }
}