gamzinav/cling
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Turn on prtcheck for the ptrcheck tests.

Browse Source
This commit is contained in:
Axel Naumann 2022-01-11 09:17:56 +01:00 committed by jenkins
parent 9154e98478
commit 52266ba5eb
11 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/NullDeref/BinOp.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks a pointer load operation for null prt dereference.
int *p = 0;

2
test/NullDeref/Cast.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks a pointer load operation for null prt dereference.
int *p = 0;;

2
test/NullDeref/ExecutionTermination.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks that the execution ends after a null prt dereference.

2
test/NullDeref/If.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks an if statement for null prt dereference.

2
test/NullDeref/InvalidMemoryAddress.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks a dereference of an invalid memory address pointer..
int *p = (int*)0x1;

2
test/NullDeref/Load.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks a pointer load operation for null prt dereference.
int *p;

2
test/NullDeref/MethodCalls.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
// This test verifies that we get nice warning if a method on null ptr object is
// called.

2
test/NullDeref/NonNullArg.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify | FileCheck %s
// RUN: cat %s | %cling --ptrcheck -Xclang -verify | FileCheck %s
// XFAIL: powerpc64
//This file checks a call instruction. The called function has arguments with nonnull attribute.
extern "C" int printf(const char* fmt, ...);

2
test/NullDeref/NonNullArgCustom.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
// We must be able to handle cases where, there is a custom function that has

2
test/NullDeref/Store.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// XFAIL: powerpc64
//This file checks a pointer store operation for null ptr dereference.

2
test/NullDeref/ValidAccesses.C
View File

@ -6,7 +6,7 @@
// LICENSE.TXT for details.
//------------------------------------------------------------------------------
// RUN: cat %s | %cling -Xclang -verify
// RUN: cat %s | %cling --ptrcheck -Xclang -verify
// This test verifies that we do not produce a warning when
// - an iterator is derefed;
// - a lambda function is derefed.