From 52266ba5ebcab67b705f0a11dd50000ccc15718f Mon Sep 17 00:00:00 2001 From: Axel Naumann Date: Tue, 11 Jan 2022 09:17:56 +0100 Subject: [PATCH] Turn on prtcheck for the ptrcheck tests. --- test/NullDeref/BinOp.C | 2 +- test/NullDeref/Cast.C | 2 +- test/NullDeref/ExecutionTermination.C | 2 +- test/NullDeref/If.C | 2 +- test/NullDeref/InvalidMemoryAddress.C | 2 +- test/NullDeref/Load.C | 2 +- test/NullDeref/MethodCalls.C | 2 +- test/NullDeref/NonNullArg.C | 2 +- test/NullDeref/NonNullArgCustom.C | 2 +- test/NullDeref/Store.C | 2 +- test/NullDeref/ValidAccesses.C | 2 +- 11 files changed, 11 insertions(+), 11 deletions(-) diff --git a/test/NullDeref/BinOp.C b/test/NullDeref/BinOp.C index 3785a1e1..4bbc6a77 100644 --- a/test/NullDeref/BinOp.C +++ b/test/NullDeref/BinOp.C @@ -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; diff --git a/test/NullDeref/Cast.C b/test/NullDeref/Cast.C index 7172e3e9..653de352 100644 --- a/test/NullDeref/Cast.C +++ b/test/NullDeref/Cast.C @@ -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;; diff --git a/test/NullDeref/ExecutionTermination.C b/test/NullDeref/ExecutionTermination.C index 3eb993b8..ef753c21 100644 --- a/test/NullDeref/ExecutionTermination.C +++ b/test/NullDeref/ExecutionTermination.C @@ -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. diff --git a/test/NullDeref/If.C b/test/NullDeref/If.C index e6e7b30a..2767e80e 100644 --- a/test/NullDeref/If.C +++ b/test/NullDeref/If.C @@ -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. diff --git a/test/NullDeref/InvalidMemoryAddress.C b/test/NullDeref/InvalidMemoryAddress.C index 9ece3ab0..1af0e57b 100644 --- a/test/NullDeref/InvalidMemoryAddress.C +++ b/test/NullDeref/InvalidMemoryAddress.C @@ -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; diff --git a/test/NullDeref/Load.C b/test/NullDeref/Load.C index cc2c1a34..8f1a4bac 100644 --- a/test/NullDeref/Load.C +++ b/test/NullDeref/Load.C @@ -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; diff --git a/test/NullDeref/MethodCalls.C b/test/NullDeref/MethodCalls.C index 60a5ba38..ec082c6f 100644 --- a/test/NullDeref/MethodCalls.C +++ b/test/NullDeref/MethodCalls.C @@ -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. diff --git a/test/NullDeref/NonNullArg.C b/test/NullDeref/NonNullArg.C index a2bac16b..b56dce2d 100644 --- a/test/NullDeref/NonNullArg.C +++ b/test/NullDeref/NonNullArg.C @@ -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, ...); diff --git a/test/NullDeref/NonNullArgCustom.C b/test/NullDeref/NonNullArgCustom.C index ad70fa5e..b4e0eda6 100644 --- a/test/NullDeref/NonNullArgCustom.C +++ b/test/NullDeref/NonNullArgCustom.C @@ -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 diff --git a/test/NullDeref/Store.C b/test/NullDeref/Store.C index 02cfe75b..101edf28 100644 --- a/test/NullDeref/Store.C +++ b/test/NullDeref/Store.C @@ -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. diff --git a/test/NullDeref/ValidAccesses.C b/test/NullDeref/ValidAccesses.C index aef30cfe..0c213d42 100644 --- a/test/NullDeref/ValidAccesses.C +++ b/test/NullDeref/ValidAccesses.C @@ -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.