https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From 346e2296869e750c7ec5bd75cf05f80a23b70569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH] [clang][analyzer] Improve
@@ -57,6 +61,12 @@ class BlockInCriticalSectionChecker : public
Checker {
const CallEvent ,
CheckerContext ) const;
+ CritSectionMarker getCriticalSectionMarker(const CallEvent ,
+
@@ -57,6 +61,12 @@ class BlockInCriticalSectionChecker : public
Checker {
const CallEvent ,
CheckerContext ) const;
+ CritSectionMarker getCriticalSectionMarker(const CallEvent ,
+
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From f7875a7f1ff20f3cf850ce1c23bec6d6c3d88d57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH 1/2] [clang][analyzer] Add note tags to
balazske wrote:
I think we could get a note at the first `lock` call in this code, this
behavior is not entirely correct:
```
void test() {
std::mutex m;
m.lock();
m.unlock();
m.lock();
sleep(3);
m.unlock();
}
```
https://github.com/llvm/llvm-project/pull/80029
https://github.com/NagyDonat approved this pull request.
LGTM.
https://github.com/llvm/llvm-project/pull/80029
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/gamesh411 updated
https://github.com/llvm/llvm-project/pull/80029
From f7875a7f1ff20f3cf850ce1c23bec6d6c3d88d57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue, 30 Jan 2024 11:33:30 +0100
Subject: [PATCH] [clang][analyzer] Add note tags to
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
Author: Endre Fülöp (gamesh411)
Changes
checker
On entering a critical section, a note tag is now placed along the bugpath.
---
Full diff: https://github.com/llvm/llvm-project/pull/80029.diff
2 Files Affected:
- (modified)
llvmbot wrote:
@llvm/pr-subscribers-clang
Author: Endre Fülöp (gamesh411)
Changes
checker
On entering a critical section, a note tag is now placed along the bugpath.
---
Full diff: https://github.com/llvm/llvm-project/pull/80029.diff
2 Files Affected:
- (modified)
https://github.com/gamesh411 created
https://github.com/llvm/llvm-project/pull/80029
checker
On entering a critical section, a note tag is now placed along the bugpath.
From 54da4f5ff32a0e35777fd77f6a928c65789c22af Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Endre=20F=C3=BCl=C3=B6p?=
Date: Tue,
10 matches
Mail list logo