Skip to content

Add AIS_BUILD_INTEGER_SANITIZERS#86

Merged
derobins merged 4 commits into
developfrom
derobins/integer_sanitizer
Nov 25, 2025
Merged

Add AIS_BUILD_INTEGER_SANITIZERS#86
derobins merged 4 commits into
developfrom
derobins/integer_sanitizer

Conversation

@derobins
Copy link
Copy Markdown
Collaborator

Adds an option to build integer sanitizers (clang-only)

Copilot AI review requested due to automatic review settings November 24, 2025 18:51
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR adds support for building with integer sanitizers, a Clang-specific feature that detects undefined integer behavior with minimal runtime overhead.

Key Changes:

  • Added AIS_BUILD_INTEGER_SANITIZERS CMake option for enabling integer sanitization
  • Implemented compiler check to ensure integer sanitizers are only enabled with Clang
  • Updated documentation to include the new sanitizer option

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File Description
cmake/AISSanitizers.cmake Added integer sanitizer configuration with Clang compiler detection and appropriate flags
INSTALL.md Added sanitizer options table documenting all three sanitizer build options

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread cmake/AISSanitizers.cmake Outdated
@derobins
Copy link
Copy Markdown
Collaborator Author

I want to get this to pass, then switch it on all the time in debug builds.

Comment thread cmake/AISSanitizers.cmake Outdated
Comment thread cmake/AISSanitizers.cmake Outdated
@derobins derobins force-pushed the derobins/integer_sanitizer branch from 5700f0e to 18523ed Compare November 24, 2025 22:08
Copilot AI review requested due to automatic review settings November 24, 2025 22:08
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread cmake/AISSanitizers.cmake Outdated
Comment thread cmake/AISSanitizers.cmake Outdated
@derobins derobins merged commit 7364d03 into develop Nov 25, 2025
55 of 56 checks passed
@derobins derobins deleted the derobins/integer_sanitizer branch November 25, 2025 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants