@@ -1,11 +1,27 @@
// RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown \
-// RUN: -analyzer-checker=core -verify %s
+// RUN: -Wno-incompatible-library-redeclaration \
+// RUN: -analyzer-checker=core,unix.cstring.BadSizeArg -verify %s
nuudlman wrote:
I
@@ -1,11 +1,27 @@
// RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown \
-// RUN: -analyzer-checker=core -verify %s
+// RUN: -Wno-incompatible-library-redeclaration \
+// RUN: -analyzer-checker=core,unix.cstring.BadSizeArg -verify %s
// expected-no-diagnostics
//
https://github.com/nuudlman updated
https://github.com/llvm/llvm-project/pull/153498
>From 9b7fd4839440ade71e1b9561b158dd37969b7def Mon Sep 17 00:00:00 2001
From: Isaac Nudelman <62861466+nuudl...@users.noreply.github.com>
Date: Wed, 13 Aug 2025 23:02:11 +0200
Subject: [PATCH 1/4] Support non-de
@@ -1129,9 +1129,9 @@ bool CStringChecker::isFirstBufInBound(CheckerContext &C,
ProgramStateRef State,
if (!ER)
return true; // cf top comment.
- // FIXME: Does this crash when a non-standard definition
- // of a library function is encountered?
- assert(ER->getValue
nuudlman wrote:
@NagyDonat or @vabridgers Can one of you activate the workflows?
https://github.com/llvm/llvm-project/pull/153498
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -1,11 +1,26 @@
// RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown \
-// RUN: -analyzer-checker=core -verify %s
+// RUN: -analyzer-checker=core,unix -verify %s
// expected-no-diagnostics
//
// By default, pointers are 64-bits.
+#define ADDRESS_SPACE_64BITS __att
@@ -1,11 +1,26 @@
// RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown \
-// RUN: -analyzer-checker=core -verify %s
+// RUN: -analyzer-checker=core,unix -verify %s
nuudlman wrote:
Done
https://github.com/llvm/llvm-project/pull/153498
__
@@ -1,11 +1,26 @@
// RUN: %clang_analyze_cc1 -triple amdgcn-unknown-unknown \
-// RUN: -analyzer-checker=core -verify %s
+// RUN: -analyzer-checker=core,unix -verify %s
nuudlman wrote:
Thanks for pointing this out, applied!
https://github.com/llvm/llvm-proj
https://github.com/nuudlman updated
https://github.com/llvm/llvm-project/pull/153498
>From 9b7fd4839440ade71e1b9561b158dd37969b7def Mon Sep 17 00:00:00 2001
From: Isaac Nudelman <62861466+nuudl...@users.noreply.github.com>
Date: Wed, 13 Aug 2025 23:02:11 +0200
Subject: [PATCH 1/2] Support non-de
https://github.com/nuudlman updated
https://github.com/llvm/llvm-project/pull/153498
>From 9b7fd4839440ade71e1b9561b158dd37969b7def Mon Sep 17 00:00:00 2001
From: Isaac Nudelman <62861466+nuudl...@users.noreply.github.com>
Date: Wed, 13 Aug 2025 23:02:11 +0200
Subject: [PATCH] Support non-defaul
https://github.com/nuudlman created
https://github.com/llvm/llvm-project/pull/153498
Prevent an assertion failure in the cstring checker when library functions like
memcpy are defined with non-default address spaces.
Adds a test for this case.
>From 9b7fd4839440ade71e1b9561b158dd37969b7def Mo
https://github.com/nuudlman closed
https://github.com/llvm/llvm-project/pull/123357
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/nuudlman created
https://github.com/llvm/llvm-project/pull/123357
None
>From 41ec6ffe545cb7a2b25bda5dbbeed094e478f7df Mon Sep 17 00:00:00 2001
From: Isaac Nudelman
Date: Fri, 17 Jan 2025 09:31:04 -0600
Subject: [PATCH 1/2] Declare new thread modeling checker
---
clang/incl
13 matches
Mail list logo
