🟢 COMPATIBLE cases¶
Backward-compatible changes (additions or quality-only).
30 case(s). ← back to all examples
| Case | Title | Verdict | Category |
|---|---|---|---|
| case03_compat_addition | Compatible Addition (New Export) | 🟢 COMPATIBLE | Addition (Compatible) |
| case05_soname | Missing SONAME | 🟢 COMPATIBLE | Quality (Compatible) |
| case13_symbol_versioning | Symbol Versioning Script | 🟢 COMPATIBLE | Quality (Compatible) |
| case16_inline_to_non_inline | Inline → Non-inline (ODR / Symbol Appearance) | 🟢 COMPATIBLE | Addition (Compatible) |
| case25_enum_member_added | Enum Member Added | 🟢 COMPATIBLE | Addition (Compatible) |
| case26b_union_field_added_compatible | Union Field Added (No Size Change) | 🟢 COMPATIBLE | Addition (Compatible) |
| case27_symbol_binding_weakened | Symbol Binding Weakened (GLOBAL → WEAK) | 🟢 COMPATIBLE | Quality (Compatible) |
| case29_ifunc_transition | GNU IFUNC Transition | 🟢 COMPATIBLE | Quality (Compatible) |
| case47_inline_to_outlined | Inline Method Moved Out-of-Line | 🟢 COMPATIBLE | Addition (Compatible) |
| case49_executable_stack | Executable Stack (GNU_STACK RWX) | 🟢 COMPATIBLE | Quality (Compatible) |
| case51_protected_visibility | Protected Visibility (DEFAULT to PROTECTED) | 🟢 COMPATIBLE | Quality (Compatible) |
| case52_rpath_leak | RPATH Leak (Hardcoded Build Directory) | 🟢 COMPATIBLE | Quality (Compatible) |
| case54_used_reserved_field | Used Reserved Field | 🟢 COMPATIBLE | Quality (Compatible) |
| case61_var_added | Global Variable Added | 🟢 COMPATIBLE | Addition (Compatible) |
| case62_type_field_added_compatible | Type Field Added (Compatible — Opaque Struct) | 🟢 COMPATIBLE | Addition (Compatible) |
| case99_experimental_graduated | Experimental to Stable Graduation (Compatible) | 🟢 COMPATIBLE | Addition (Compatible) |
| case103_toolchain_flag_drift | Toolchain Flag Drift | 🟢 COMPATIBLE | Quality (Compatible) |
| case128_symbol_binding_strengthened | Symbol Binding Strengthened (Weak → Global) | 🟢 COMPATIBLE | Quality (Compatible) |
| case136_executable_stack_removed | Executable Stack Removed (the fix direction) | 🟢 COMPATIBLE | Quality (Compatible) |
| case137_runpath_changed | DT_RUNPATH Changed | 🟢 COMPATIBLE | Quality (Compatible) |
| case138_needed_added | DT_NEEDED Added | 🟢 COMPATIBLE | Quality (Compatible) |
| case143_audit_accidental_export | Accidental Export (Single-Release Audit) | 🟢 COMPATIBLE | Quality (Compatible) |
| case144_audit_private_header_leak | Private Header Leak (Single-Release Audit) | 🟢 COMPATIBLE | Quality (Compatible) |
| case145_audit_unversioned_export | Unversioned Export Under a Versioning Scheme (Audit, Pure L0) | 🟢 COMPATIBLE | Quality (Compatible) |
| case146_audit_rtti_for_internal | RTTI Exported for an Internal Type (Single-Release Audit) | 🟢 COMPATIBLE | Quality (Compatible) |
| case147_scan_depth_ladder | Depth Ladder — the Same Input Answered at Increasing Depth | 🟢 COMPATIBLE | Quality (Compatible) |
| case150_xcheck_export_public_pair | Bidirectional Export ↔ Declaration Pair | 🟢 COMPATIBLE | Quality (Compatible) |
| case151_xcheck_provider_matrix | Provider-Agreement Matrix (Corroboration Grows With Evidence) | 🟢 COMPATIBLE | Quality (Compatible) |
| case181_xcheck_public_to_internal_dependency | Public API Reaches an Internal Declaration | 🟢 COMPATIBLE | Quality (Compatible) |
| case185_inherited_override_reuses_slot | Inherited override reuses the base's vtable slot | 🟢 COMPATIBLE | Addition (Compatible) |