https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/156100
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/156100
>From 6348ea5e1ea6497f46a003959c429ad3038152d8 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Fri, 29 Aug 2025 13:29:37 -0700
Subject: [PATCH 1/3] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UT
fmayer wrote:
Seems so to me. The same errors in a different change:
https://buildkite.com/llvm-project/libcxx-ci/builds/68485/steps/canvas?sid=0198efcd-f547-4db6-a3b3-bc7b498b4e62
https://github.com/llvm/llvm-project/pull/154902
___
cfe-commits mail
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/154902
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
We should add a regression test that fails before and passes after this change
https://github.com/llvm/llvm-project/pull/154902
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-c
https://github.com/fmayer approved this pull request.
LGTM if formatted properly.
Is there some record of this conversation? If not, could you summarize the
rationale somewhere?
https://github.com/llvm/llvm-project/pull/153888
___
cfe-commits mailing
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/152400
>From c66b915c61d854808da54efb5d83e63f175a08cd Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Wed, 6 Aug 2025 15:32:18 -0700
Subject: [PATCH 1/5] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UTF
fmayer wrote:
Added test I forgot to `git add` before. PTAQL
https://github.com/llvm/llvm-project/pull/152400
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/152400
>From c66b915c61d854808da54efb5d83e63f175a08cd Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Wed, 6 Aug 2025 15:32:18 -0700
Subject: [PATCH 1/4] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UTF
fmayer wrote:
Thanks!
https://github.com/llvm/llvm-project/pull/151348
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/151348
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/152400
>From c66b915c61d854808da54efb5d83e63f175a08cd Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Wed, 6 Aug 2025 15:32:18 -0700
Subject: [PATCH 1/3] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UTF
fmayer wrote:
> Added a REQUIRES: target={{x86_64.*-linux.*}} in my last commit to fix the
> test failure on windows (-fsanitize=cfi-mfcall is not supported on windows) .
Since this PR is only adding a preprocessor feature and not something platform
specific, I think it's fine to only test on x
https://github.com/fmayer approved this pull request.
lgtm thanks
small nit: I would say Add or Support rather than Enable in the first line of
the commit message
https://github.com/llvm/llvm-project/pull/151348
___
cfe-commits mailing list
cfe-commi
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/152192
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -3794,28 +3821,37 @@ void CodeGenFunction::EmitCheck(
// representing operand values.
SmallVector Args;
SmallVector ArgTypes;
- if (!CGM.getCodeGenOpts().SanitizeMinimalRuntime) {
-Args.reserve(DynamicArgs.size() + 1);
-ArgTypes.reserve(DynamicArgs.size() + 1)
@@ -3794,28 +3821,37 @@ void CodeGenFunction::EmitCheck(
// representing operand values.
SmallVector Args;
SmallVector ArgTypes;
- if (!CGM.getCodeGenOpts().SanitizeMinimalRuntime) {
-Args.reserve(DynamicArgs.size() + 1);
-ArgTypes.reserve(DynamicArgs.size() + 1)
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/152192
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
nit: typo "acceprt" in commit message
https://github.com/llvm/llvm-project/pull/152192
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -0,0 +1,14 @@
+// RUN: %clang_min_runtime -fsanitize=alignment %s -o %t && %run %t 2>&1 |
FileCheck %s --check-prefixes=CHECK
+
+void f(int &n) {}
+
+int *t;
+
+int main() {
+ int r;
+ t = (int *)(((char *)&r) + 1);
+ // CHECK: ubsan: type-mismatch by 0x{{[[:xdigit:]]+}} ad
@@ -3794,28 +3821,37 @@ void CodeGenFunction::EmitCheck(
// representing operand values.
SmallVector Args;
SmallVector ArgTypes;
- if (!CGM.getCodeGenOpts().SanitizeMinimalRuntime) {
-Args.reserve(DynamicArgs.size() + 1);
-ArgTypes.reserve(DynamicArgs.size() + 1)
@@ -0,0 +1,11 @@
+// RUN: %clang_min_runtime -fsanitize=null %s -o %t && %run %t 2>&1 |
FileCheck %s --check-prefixes=CHECK
+
+void f(int &n) {}
+
+int *t;
+
+int main() {
+ // CHECK: ubsan: type-mismatch by 0x{{[[:xdigit:]]+}} address
0x{{[[:xdigit:]]+$}}
+ // CHECK-NOT: type
fmayer wrote:
Sounds good to me.
https://github.com/llvm/llvm-project/pull/151348
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
> Also, I just learned that non-standard features are meant to be under
> `__has_extension` (`EXTENSION` macro) instead of `__has_feature`. See
>
> https://github.com/llvm/llvm-project/blob/154354e60e46debb68716cde867cb4e325ce5eb7/clang/include/clang/Basic/Features.def#L20
Given
@@ -1462,6 +1462,7 @@ void
HWAddressSanitizer::instrumentStack(memtag::StackInfo &SInfo,
Value *AICast = IRB.CreatePointerCast(AI, PtrTy);
auto HandleLifetime = [&](IntrinsicInst *II) {
+ // FIXME: Remove this code entirely.
fmayer wrote:
I just
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/149430
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -6482,7 +6475,11 @@ llvm::DILocation
*CodeGenFunction::SanitizerAnnotateDebugInfo(
SanitizerHandler Handler) {
llvm::DILocation *CheckDebugLoc = Builder.getCurrentDebugLocation();
auto *DI = getDebugInfo();
- if (!DI)
+ if (!DI || !CheckDebugLoc)
+return Check
@@ -6491,14 +6488,8 @@ llvm::DILocation
*CodeGenFunction::SanitizerAnnotateDebugInfo(
else
Label = SanitizerHandlerToCheckLabel(Handler);
- for (auto Ord : Ordinals) {
-// TODO: deprecate ClArrayBoundsPseudoFn
-if (((ClArrayBoundsPseudoFn && Ord == SanitizerKin
@@ -6482,7 +6475,11 @@ llvm::DILocation
*CodeGenFunction::SanitizerAnnotateDebugInfo(
SanitizerHandler Handler) {
llvm::DILocation *CheckDebugLoc = Builder.getCurrentDebugLocation();
auto *DI = getDebugInfo();
- if (!DI)
+ if (!DI || !CheckDebugLoc)
+return Check
https://github.com/fmayer ready_for_review
https://github.com/llvm/llvm-project/pull/149237
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer created
https://github.com/llvm/llvm-project/pull/149237
None
>From 6324602575fc5310b5ff49bfcb985d531035811b Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Wed, 16 Jul 2025 20:00:45 -0700
Subject: [PATCH] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20initia?=
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/148323
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/148323
>From 64b17b603b9300bb15b28d5ded80b174b8eacbb9 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Fri, 11 Jul 2025 18:06:48 -0700
Subject: [PATCH 1/3] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UT
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/148323
>From 64b17b603b9300bb15b28d5ded80b174b8eacbb9 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Fri, 11 Jul 2025 18:06:48 -0700
Subject: [PATCH 1/2] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UT
https://github.com/fmayer created
https://github.com/llvm/llvm-project/pull/148323
This reverts commit 102c15ad28d3c312ea8926c85dbf907ca0d07b84.
>From 64b17b603b9300bb15b28d5ded80b174b8eacbb9 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Fri, 11 Jul 2025 18:06:48 -0700
Subject: [PATCH] =
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/148322
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer created
https://github.com/llvm/llvm-project/pull/148322
Reverts llvm/llvm-project#148310
Some targets don't support the flags passed in the test
>From f1cc3eaf2707726d86efbb651478d7310b8a3840 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Fri, 11 Jul 2025 18:01:
fmayer wrote:
I would prefer this to be behind a flag (not necessarily in this PR), even if
it's default turned on. People might not want synthetic frames added to their
debug information and the top frame to point to the real code; also as this
somewhat overlaps with the logic of `-fsanitize-
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/145999
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/145999
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/145806
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -6435,10 +6433,44 @@ llvm::DILocation
*CodeGenFunction::SanitizerAnnotateDebugInfo(
#undef SANITIZER_CHECK
};
+ // Label doesn't require sanitization
+
+ return Label;
+}
+
+static std::string
+SanitizerOrdinalToCheckLabel(SanitizerKind::SanitizerOrdinal Ordinal) {
+
@@ -6435,10 +6433,44 @@ llvm::DILocation
*CodeGenFunction::SanitizerAnnotateDebugInfo(
#undef SANITIZER_CHECK
};
+ // Label doesn't require sanitization
+
fmayer wrote:
random newline
https://github.com/llvm/llvm-project/pull/141997
_
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/141997
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2756,10 +2758,23 @@
CodeGenFunction::SanitizerScope::SanitizerScope(CodeGenFunction *CGF)
: CGF(CGF) {
assert(!CGF->IsSanitizerScope);
CGF->IsSanitizerScope = true;
+
+ assert(!this->ApplyTrapDI);
+}
+
+CodeGenFunction::SanitizerScope::SanitizerScope(
+CodeGen
https://github.com/fmayer approved this pull request.
Thanks
https://github.com/llvm/llvm-project/pull/141997
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -4734,7 +4770,16 @@ Value *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) {
RHS = ConstrainShiftValue(Ops.LHS, RHS, "shl.mask");
else if ((SanitizeBase || SanitizeExponent) &&
isa(Ops.LHS->getType())) {
-CodeGenFunction::SanitizerScope SanScope(&CGF);
@@ -597,8 +597,15 @@ class CodeGenFunction : public CodeGenTypeCache {
class SanitizerScope {
CodeGenFunction *CGF;
+// ApplyDebugLocation is undeclared: CGDebugInfo.h is not #included in this
fmayer wrote:
Just forward declare it.
https://github.
@@ -2756,10 +2758,23 @@
CodeGenFunction::SanitizerScope::SanitizerScope(CodeGenFunction *CGF)
: CGF(CGF) {
assert(!CGF->IsSanitizerScope);
CGF->IsSanitizerScope = true;
+
+ assert(!this->ApplyTrapDI);
fmayer wrote:
Why `this`? I would order this with
@@ -4204,7 +4238,9 @@ static Value *emitPointerArithmetic(CodeGenFunction &CGF,
PtrTy->getPointerAddressSpace()))
return Ptr;
// The inbounds GEP of null is valid iff the index is zero.
-CodeGenFunction::SanitizerScope SanScope(&CGF);
https://github.com/fmayer requested changes to this pull request.
https://github.com/llvm/llvm-project/pull/141997
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer requested changes to this pull request.
How is this going to be useful? We should make some effort to try to determine
where the overhead comes from. I don't like that the specific array_bounds
inline function is going away _even though we have a specific codepath for
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/141814
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/140144
>From 2d82539ce535f6725864815077111ead705d8ce4 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Thu, 15 May 2025 14:38:00 -0700
Subject: [PATCH 1/3] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20ch?=
=?UT
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/140144
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/140117
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2779,6 +2779,39 @@ void CodeGenFunction::EmitTypeMetadataCodeForVCall(const
CXXRecordDecl *RD,
}
}
+/// Converts the CFITypeCheckKind into SanitizerKind::SanitizerOrdinal and
+/// llvm::SanitizerStatKind.
+static std::pair
+ParseCFITypeCheckKind(CodeGenFunction::CFIType
https://github.com/fmayer approved this pull request.
lgtm with optional comment
https://github.com/llvm/llvm-project/pull/140117
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/140117
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2779,6 +2779,39 @@ void CodeGenFunction::EmitTypeMetadataCodeForVCall(const
CXXRecordDecl *RD,
}
}
+/// Converts the CFITypeCheckKind into SanitizerKind::SanitizerOrdinal and
+/// llvm::SanitizerStatKind.
+static std::pair
+ParseCFITypeCheckKind(CodeGenFunction::CFIType
@@ -3358,6 +3358,11 @@ class CodeGenFunction : public CodeGenTypeCache {
SanitizerSet SkippedChecks = SanitizerSet(),
llvm::Value *ArraySize = nullptr);
+ /// Converts the CFITypeCheckKind into SanitizerKind::SanitizerOrdinal and
+ /
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/139965
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2842,24 +2882,12 @@ void CodeGenFunction::EmitVTablePtrCheck(const
CXXRecordDecl *RD,
!CGM.HasHiddenLTOVisibility(RD))
return;
- SanitizerKind::SanitizerOrdinal M;
- llvm::SanitizerStatKind SSK;
+ auto [M, SSK] = ParseCFITypeCheckKind(TCK);
switch (TCK) {
@@ -2842,24 +2882,12 @@ void CodeGenFunction::EmitVTablePtrCheck(const
CXXRecordDecl *RD,
!CGM.HasHiddenLTOVisibility(RD))
return;
- SanitizerKind::SanitizerOrdinal M;
- llvm::SanitizerStatKind SSK;
+ auto [M, SSK] = ParseCFITypeCheckKind(TCK);
switch (TCK) {
@@ -96,9 +96,9 @@ double f1(int b, int i) {
// CHECK-TRAP: [[DBG28]] = !DILocation(line: 66, column: 3, scope: [[DBG4]])
//.
// CHECK-NOTRAP: [[META0:![0-9]+]] = distinct !DICompileUnit(language:
DW_LANG_C11, file: [[META1:![0-9]+]], isOptimized: false, runtimeVersion: 0,
emi
@@ -68,9 +68,9 @@ double f1(int b, int i) {
//.
// CHECK-TRAP: [[META0:![0-9]+]] = distinct !DICompileUnit(language:
DW_LANG_C11, file: [[META1:![0-9]+]], isOptimized: false, runtimeVersion: 0,
emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
-// CHEC
fmayer wrote:
> > I am not a fan of the change to the function used for array-bounds.
>
> More specific? I like it in general. It's about just about the name of a new
> fake function?
Sorry, I meant the new name.
I don't like that it has a `-` in it, and I don't like that it changed for no
g
fmayer wrote:
I am not a fan of the change to the function used for array-bounds.
https://github.com/llvm/llvm-project/pull/139809
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
> > > Are there any planned in-tree uses for this matcher?
> >
> >
> > I had a downstream use planned. Does this mean I will have to reimplement
> > `internal::HasNameMatcher`?
>
> Can you adapt the code to use `hasAnyName()` instead, as that can accept a
> variadic number of `
fmayer wrote:
> Are there any planned in-tree uses for this matcher?
I had a downstream use planned. Does this mean I will have to reimplement
`internal::HasNameMatcher`?
https://github.com/llvm/llvm-project/pull/139594
___
cfe-commits mailing list
c
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/139149
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer created
https://github.com/llvm/llvm-project/pull/139594
This is useful for matching functions whose name is given as a
parameter, e.g.
Rate limit · GitHub
body {
background-color: #f6f8fa;
color: #24292e;
https://github.com/fmayer requested changes to this pull request.
windows bot fails. argument ordering strikes again?
https://github.com/llvm/llvm-project/pull/139149
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bi
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/139149
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer requested changes to this pull request.
Seems like the fsanitize test is failing now
https://github.com/llvm/llvm-project/pull/138577
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailm
@@ -1228,7 +1228,10 @@ void CodeGenFunction::EmitBoundsCheckImpl(const Expr *E,
llvm::Value *Bound,
SanitizerScope SanScope(this);
llvm::DILocation *CheckDI = Builder.getCurrentDebugLocation();
- if (ClArrayBoundsPseudoFn && CheckDI) {
+ if ((ClArrayBoundsPseudoFn ||
--
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/138577
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2533,6 +2533,31 @@ def fno_sanitize_merge_handlers : Flag<["-"],
"fno-sanitize-merge">, Group,
AliasArgs<["all"]>,
Visibility<[ClangOption, CLOption]>,
HelpText<"Do not allow compiler to merge handlers for
any sanitizers">;
@@ -2533,6 +2533,31 @@ def fno_sanitize_merge_handlers : Flag<["-"],
"fno-sanitize-merge">, Group,
AliasArgs<["all"]>,
Visibility<[ClangOption, CLOption]>,
HelpText<"Do not allow compiler to merge handlers for
any sanitizers">;
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/121957
>From 2feb85c15f64546cb6874e1ca0a1310bd1e1bedd Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Tue, 7 Jan 2025 07:57:09 -0800
Subject: [PATCH 1/7] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UTF
@@ -2533,6 +2533,30 @@ def fno_sanitize_merge_handlers : Flag<["-"],
"fno-sanitize-merge">, Group,
AliasArgs<["all"]>,
Visibility<[ClangOption, CLOption]>,
HelpText<"Do not allow compiler to merge handlers for
any sanitizers">;
@@ -1228,7 +1228,10 @@ void CodeGenFunction::EmitBoundsCheckImpl(const Expr *E,
llvm::Value *Bound,
SanitizerScope SanScope(this);
llvm::DILocation *CheckDI = Builder.getCurrentDebugLocation();
- if (ClArrayBoundsPseudoFn && CheckDI) {
+ if ((ClArrayBoundsPseudoFn ||
--
https://github.com/fmayer approved this pull request.
lgtm
https://github.com/llvm/llvm-project/pull/138577
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/138577
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer approved this pull request.
LGTM, but I have only done a very isolated change on this code before.
https://github.com/llvm/llvm-project/pull/138374
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org
fmayer wrote:
Could we make sure this gets called out in the Release Notes? Even if it's a
fix, this is a change of ABI which could break stuff.
https://github.com/llvm/llvm-project/pull/126774
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
h
fmayer wrote:
This changed the size of the following struct:
```
#include
struct A {
bool value : 64 = false;
uint64_t : 448;
};
static_assert(sizeof(A) == 64);
```
Used to be 64 but became 80. I bisected to this change.
```
$ llvm-project/build/bin/clang++ -target aarch64 -c f
fmayer wrote:
clang now fails an assertion on this
```
class a { template < typename b > void c(); void
c(int (a::*)(int, int)); template < typename b > b d(b , b)
{
c(&::d);
}
};
```
```
#0 0x55bc6cac8e58 llvm::sys::PrintStackTrace(l
https://github.com/fmayer approved this pull request.
https://github.com/llvm/llvm-project/pull/137103
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
> Last time I checks, if the branch endup with unreachable, compiler can figure
> it out as UNLIKELY. So PR like this is effectively NOP.
I built tcmalloc with and without this change and get different codegen
https://github.com/llvm/llvm-project/pull/134310
_
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/136020
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer edited
https://github.com/llvm/llvm-project/pull/136020
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer closed
https://github.com/llvm/llvm-project/pull/135891
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
fmayer wrote:
>
Should we add AsmPrinter tests to replace the ones we're removing from Clang?
We have memtag-globals-asm.cpp
https://github.com/llvm/llvm-project/pull/135891
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.
https://github.com/fmayer ready_for_review
https://github.com/llvm/llvm-project/pull/135891
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/135891
>From cf7c14e486c47c03560ea4b3c6fe012bf1c7de17 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Tue, 15 Apr 2025 17:36:37 -0700
Subject: [PATCH 1/2] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UT
https://github.com/fmayer approved this pull request.
nit: Driver
nit2: I don't think this is really reordering.
https://github.com/llvm/llvm-project/pull/135881
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/ma
https://github.com/fmayer created
https://github.com/llvm/llvm-project/pull/135891
there are llvm passes that would invalidate the decision we make in
clang.
>From cf7c14e486c47c03560ea4b3c6fe012bf1c7de17 Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Tue, 15 Apr 2025 17:36:37 -0700
Subje
@@ -41,31 +41,31 @@ void caller(void (*f)(void)) {
// CHECK: [[CONT1]]:
// CHECK: %[[NOT_1:.*]] = icmp ne i8 %[[KIND]], 1
-// CHECK: br i1 %[[NOT_1]], label %[[CONT2:.*]], label %[[HANDLE1:.*]],
!nosanitize
+// CHECK: br i1 %[[NOT_1]], label %[[CONT2:.*]], label %[[HAND
https://github.com/fmayer updated
https://github.com/llvm/llvm-project/pull/134310
>From 44f9ccd6b4104fb07ad9cf9581c41c6d473525ec Mon Sep 17 00:00:00 2001
From: Florian Mayer
Date: Thu, 3 Apr 2025 14:53:29 -0700
Subject: [PATCH 1/3] =?UTF-8?q?[=F0=9D=98=80=F0=9D=97=BD=F0=9D=97=BF]=20in?=
=?UTF
1 - 100 of 334 matches
Mail list logo