Landing: 00a0e7d23758

← All landings

Project / Subsystem

gcc / tree

Date

2026-08-20

Author

Kyrylo Tkachov

Commit

00a0e7d2375850a0256c392005e10c7d28aeac97

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: tree
patch_id: —
commit_hash: 00a0e7d2375850a0256c392005e10c7d28aeac97
source_type: github
headline: Allow UBSan to instrument signed integral vector types.
tldr: Enables UBSan to detect signed integer overflows in vector types, improving sanitization coverage.
author: Kyrylo Tkachov
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • sanitizer
• vectorization
• UBSan
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/00a0e7d2375850a0256c392005e10c7d28aeac97
date: 2026-08-20T00:00:00.000Z

This commit modifies the TYPE_OVERFLOW_SANITIZED predicate to accept integral vector types, allowing Undefined Behavior Sanitizer (UBSan) to instrument signed integral vector arithmetic. Previously, TYPE_OVERFLOW_SANITIZED only accepted scalar types, preventing UBSan from detecting overflows in vector operations. This change ensures that diagnostics are generated for vector operations that can overflow, as demonstrated in a test case involving vector negation.