Landing: 2d995ac584d7
Project / Subsystem
gcc / gcc
Date
2026-07-07
Author
Richard Biener
Commit
2d995ac584d7623eefe3bf8f60d05941fa55a1b9
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- 2d995ac584d7623eefe3bf8f60d05941fa55a1b9
- source_type
- github
- headline
- Improve variadic function call handling in PTA
- tldr
- Pointed-to-analysis (PTA) now better handles variadic functions, improving precision for calls involving `__builtin_va_start` and `.VA_ARG`.
- author
- Richard Biener
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • pta
- • optimization
- • variadic
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-07-07T00:00:00.000Z
This commit enhances the precision of Pointer Analysis (PTA) for variadic function calls. It correctly handles __builtin_va_start and .VA_ARG during constraint generation, reducing unnecessary conservative assumptions. This change resolves an issue that caused an expected error in a test case involving indirect variadic calls, leading to more accurate analysis.