Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sanitizer: Support -fwrapv with -fsanitize=signed-integer-overflow #82432

Merged
merged 4 commits into from
Feb 21, 2024
Merged

Sanitizer: Support -fwrapv with -fsanitize=signed-integer-overflow #82432

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b02b09b
support fwrapv with signed int overflow sanitizer
JustinStitt Feb 20, 2024
e5e92e6
run git clang-format
JustinStitt Feb 20, 2024
0182698
add release note regarding noise
JustinStitt Feb 20, 2024
1d9cb0a
update tests to use common prefix
JustinStitt Feb 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
run git clang-format
  • Loading branch information
@JustinStitt
JustinStitt committed Feb 20, 2024
commit e5e92e6c07a9fbbac698a3b6bb4422f26ea06583
4 changes: 2 additions & 2 deletions clang/lib/CodeGen/CGExprScalar.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -724,7 +724,7 @@ class ScalarExprEmitter
switch (CGF.getLangOpts().getSignedOverflowBehavior()) {
case LangOptions::SOB_Defined:
if (!CGF.SanOpts.has(SanitizerKind::SignedIntegerOverflow))
vitalybuka marked this conversation as resolved.
Show resolved Hide resolved
return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul");
return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul");
[[fallthrough]];
case LangOptions::SOB_Undefined:
if (!CGF.SanOpts.has(SanitizerKind::SignedIntegerOverflow))
Expand Down Expand Up @@ -2571,7 +2571,7 @@ llvm::Value *ScalarExprEmitter::EmitIncDecConsiderOverflowBehavior(
switch (CGF.getLangOpts().getSignedOverflowBehavior()) {
case LangOptions::SOB_Defined:
if (!CGF.SanOpts.has(SanitizerKind::SignedIntegerOverflow))
return Builder.CreateAdd(InVal, Amount, Name);
return Builder.CreateAdd(InVal, Amount, Name);
[[fallthrough]];
case LangOptions::SOB_Undefined:
if (!CGF.SanOpts.has(SanitizerKind::SignedIntegerOverflow))
Expand Down
Loading