Mercurial > hg > CbC > CbC_llvm
view clang/test/Analysis/new-with-exceptions.cpp @ 266:00f31e85ec16 default tip
Added tag current for changeset 31d058e83c98
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 14 Oct 2023 10:13:55 +0900 (2023-10-14) |
parents | c4bab56944e8 |
children |
line wrap: on
line source
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -std=c++11 -fexceptions -fcxx-exceptions -verify %s // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -std=c++11 -verify %s void clang_analyzer_eval(bool); typedef __typeof__(sizeof(int)) size_t; extern "C" void *malloc(size_t); // This is the standard placement new. inline void* operator new(size_t, void* __p) throw() { return __p; } struct NoThrow { void *operator new(size_t) throw(); }; struct NoExcept { void *operator new(size_t) noexcept; }; struct DefaultThrow { void *operator new(size_t); }; struct ExplicitThrow { void *operator new(size_t) throw(int); }; void testNew() { clang_analyzer_eval(new NoThrow); // expected-warning{{UNKNOWN}} clang_analyzer_eval(new NoExcept); // expected-warning{{UNKNOWN}} clang_analyzer_eval(new DefaultThrow); // expected-warning{{TRUE}} clang_analyzer_eval(new ExplicitThrow); // expected-warning{{TRUE}} } void testNewArray() { clang_analyzer_eval(new NoThrow[2]); // expected-warning{{TRUE}} clang_analyzer_eval(new NoExcept[2]); // expected-warning{{TRUE}} clang_analyzer_eval(new DefaultThrow[2]); // expected-warning{{TRUE}} clang_analyzer_eval(new ExplicitThrow[2]); // expected-warning{{TRUE}} } extern void *operator new[](size_t, int) noexcept; void testNewArrayNoThrow() { clang_analyzer_eval(new (1) NoThrow[2]); // expected-warning{{UNKNOWN}} clang_analyzer_eval(new (1) NoExcept[2]); // expected-warning{{UNKNOWN}} clang_analyzer_eval(new (1) DefaultThrow[2]); // expected-warning{{UNKNOWN}} clang_analyzer_eval(new (1) ExplicitThrow[2]); // expected-warning{{UNKNOWN}} }