clang/test/Analysis/consteval-if.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// 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')}}
  }
}