File: dse_with_union.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (29 lines) | stat: -rw-r--r-- 721 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
// RUN: %empty-directory(%t) 
// RUN: %target-build-swift -O %s -import-objc-header %S/Inputs/dse_with_union.h -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck %s

// REQUIRES: executable_test

// Check that EscapeAnalysis does not mess up with a union.

@inline(never)
func printit(_ u: inout U) {
  print(u.p![0])
}

@inline(never)
func testit(s: S) {
  var vs = s
  withUnsafeMutablePointer(to: &vs) {
    // A C union is an opaque type in swift and not considered as a "pointer"
    // in escape analysis. Converting between pointer and non-pointer resulted
    // in a wrong connection graph.
    var u = U(p: $0)
    printit(&u)
  }
}

// CHECK: S(i: 27)
testit(s: S(i: 27))