[SR-4404] SIL verification failed: more than one throw block in function: !FoundThrowBlock

[lilyball]

Previous ID	SR-4404
Radar	rdar://problem/31482535
Original Reporter	@lilyball
Type	Bug

Environment

Swift version 3.1 (swift-3.1-RELEASE)
Target: x86_64-unknown-linux-gnu

Swift version 3.0.2 (swift-3.0.2-RELEASE)
Target: x86_64-unknown-linux-gnu

Additional Detail from JIRA

Votes	0
Component/s	Compiler
Labels	Bug, CompilerCrash, Linux
Assignee	@aschwaighofer
Priority	Medium

md5: 931c080663edf1e2614afa69e6c42aa9

Issue Description:

Compiling PMJSON on Linux in the release configuration fails in SIL verification with the error "more than one throw block in function: !FoundThrowBlock". I've reproduced this using both Swift 3.0 and Swift 3.1, with PMJSON v2.0.2, with the following command: docker run --rm -it -v $PWD:/source -w /source swift:3.1 swift build -c release. The function it fails on is very trivial, and if I comment it out, it just fails on a different function. The one it's failing on for me right now looks like

    func getBool() throws -> Bool {
        guard let b = self.bool else { throw JSONError.missingOrInvalidType(path: nil, expected: .required(.bool), actual: .forValue(self)) }
        return b
    }

Here's the complete build output:

Compile Swift Module 'PMJSON' (9 sources)
SIL verification failed: more than one throw block in function: !FoundThrowBlock
In function:
sil_scope 1 { loc "/source/Sources/JSONError.swift":139:10 parent @_TFO6PMJSON4JSON7getBoolfzT_Sb : $@convention(method) (@guaranteed JSON) -> (Bool, @error Error) }
sil_scope 2 { loc "/source/Sources/Accessors.swift":108:9 parent @_TFO6PMJSON4JSONg4boolGSqSb_ : $@convention(method) (@guaranteed JSON) -> Optional<Bool> }
sil_scope 3 { loc "/source/Sources/JSONError.swift":142:5 parent 1 }
sil_scope 4 { loc "/source/Sources/JSONError.swift":140:28 parent 3 }
sil_scope 5 { loc "/source/Sources/Accessors.swift":108:9 parent 2 inlined_at 4 }
sil_scope 6 { loc "/source/Sources/Accessors.swift":113:9 parent 2 }
sil_scope 7 { loc "/source/Sources/Accessors.swift":112:13 parent 6 }
sil_scope 8 { loc "/source/Sources/Accessors.swift":112:13 parent 7 inlined_at 4 }
sil_scope 9 { loc "/source/Sources/Accessors.swift":112:13 parent 7 }
sil_scope 10 { loc "/source/Sources/Accessors.swift":112:13 parent 9 inlined_at 4 }
sil_scope 11 { loc "/source/Sources/JSONError.swift":140:141 parent 3 }
sil_scope 12 { loc "/source/Sources/JSONError.swift":111:30 parent @_TZFOO6PMJSON9JSONError8JSONType8forValuefOS_4JSONS1_ : $@convention(method) (@owned JSON, @thin JSONError.JSONType.Type) -> JSONError.JSONType }
sil_scope 13 { loc "/source/Sources/JSONError.swift":140:138 parent 11 }
sil_scope 14 { loc "/source/Sources/JSONError.swift":111:30 parent 12 inlined_at 13 }
sil_scope 15 { loc "/source/Sources/JSONError.swift":126:9 parent 12 }
sil_scope 16 { loc "/source/Sources/JSONError.swift":125:13 parent 15 }
sil_scope 17 { loc "/source/Sources/JSONError.swift":125:13 parent 16 inlined_at 13 }
sil_scope 18 { loc "/source/Sources/JSONError.swift":113:33 parent 15 }
sil_scope 19 { loc "/source/Sources/JSONError.swift":113:33 parent 18 inlined_at 13 }
sil_scope 20 { loc "/source/Sources/JSONError.swift":115:35 parent 15 }
sil_scope 21 { loc "/source/Sources/JSONError.swift":115:35 parent 20 inlined_at 13 }
sil_scope 22 { loc "/source/Sources/JSONError.swift":125:13 parent 16 }
sil_scope 23 { loc "/source/Sources/JSONError.swift":125:13 parent 22 inlined_at 13 }
sil_scope 24 { loc "/source/Sources/JSONError.swift":116:43 parent 15 }
sil_scope 25 { loc "/source/Sources/JSONError.swift":116:43 parent 24 inlined_at 13 }
sil_scope 26 { loc "/source/Sources/JSONError.swift":125:13 parent 16 }
sil_scope 27 { loc "/source/Sources/JSONError.swift":125:13 parent 26 inlined_at 13 }
sil_scope 28 { loc "/source/Sources/JSONError.swift":122:17 parent 15 }
sil_scope 29 { loc "/source/Sources/JSONError.swift":122:17 parent 28 inlined_at 13 }
sil_scope 30 { loc "/source/Sources/JSONError.swift":123:35 parent 15 }
sil_scope 31 { loc "/source/Sources/JSONError.swift":123:35 parent 30 inlined_at 13 }
sil_scope 32 { loc "/source/Sources/JSONError.swift":124:34 parent 15 }
sil_scope 33 { loc "/source/Sources/JSONError.swift":124:34 parent 32 inlined_at 13 }

// JSON.getBool() throws -> Bool
sil @_TFO6PMJSON4JSON7getBoolfzT_Sb : $@convention(method) (@guaranteed JSON) -> (Bool, @error Error) {
// %0                                             // users: %14, %13, %3, %2, %1
bb0(%0 : $JSON):
  debug_value %0 : $JSON, let, name "self", argno 1, loc "/source/Sources/JSONError.swift":139:10, scope 1 // id: %1
  debug_value %0 : $JSON, let, name "self", argno 1, loc "/source/Sources/Accessors.swift":108:9, scope 5 // id: %2
  switch_enum %0 : $JSON, case #JSON.bool!enumelt.1: bb1, default bb2, loc "/source/Sources/Accessors.swift":110:18, scope 8 // id: %3

// %4                                             // users: %6, %7, %5
bb1(%4 : $Bool):                                  // Preds: bb0
  debug_value %4 : $Bool, let, name "b", loc "/source/Sources/Accessors.swift":110:28, scope 10 // id: %5
  debug_value %4 : $Bool, let, name "b", loc "/source/Sources/JSONError.swift":140:19, scope 3 // id: %6
  return %4 : $Bool, loc "/source/Sources/JSONError.swift":141:9, scope 3 // id: %7

bb2:                                              // Preds: bb0
  %8 = alloc_existential_box $Error, $JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // users: %26, %33, %41, %50, %57, %64, %20, %9
  %9 = project_existential_box $JSONError in %8 : $Error, loc "/source/Sources/JSONError.swift":140:56, scope 11 // users: %25, %32, %40, %49, %56, %63, %19
  %10 = enum $Optional<String>, #Optional.none!enumelt, loc "/source/Sources/JSONError.swift":140:83, scope 11 // users: %23, %30, %38, %47, %54, %61, %17
  %11 = enum $JSONError.JSONType, #JSONError.JSONType.bool!enumelt, loc "/source/Sources/JSONError.swift":140:109, scope 11 // users: %22, %12
  %12 = enum $JSONError.ExpectedType, #JSONError.ExpectedType.required!enumelt.1, %11 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:99, scope 11 // users: %23, %30, %38, %47, %54, %61, %17
  debug_value %0 : $JSON, let, name "value", argno 1, loc "/source/Sources/JSONError.swift":111:41, scope 14 // id: %13
  switch_enum %0 : $JSON, case #JSON.null!enumelt: bb3, case #JSON.bool!enumelt.1: bb4, case #JSON.string!enumelt.1: bb5, case #JSON.int64!enumelt.1: bb6, case #JSON.double!enumelt.1: bb8, case #JSON.decimal!enumelt.1: bb9, case #JSON.object!enumelt.1: bb10, case #JSON.array!enumelt.1: bb11, loc "/source/Sources/JSONError.swift":113:18, scope 17 // id: %14

bb3:                                              // Preds: bb2
  %15 = enum $JSONError.JSONType, #JSONError.JSONType.null!enumelt, loc "/source/Sources/JSONError.swift":113:33, scope 19 // user: %16
  %16 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %15 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %17
  %17 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %16), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %18
  %18 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %17 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %19
  store %18 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %19
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %20

bb4(%21 : $Bool):                                 // Preds: bb2
  %22 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %11 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %23
  %23 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %22), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %24
  %24 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %23 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %25
  store %24 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %25
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %26

bb5(%27 : $String):                               // Preds: bb2
  %28 = enum $JSONError.JSONType, #JSONError.JSONType.string!enumelt, loc "/source/Sources/JSONError.swift":115:35, scope 21 // user: %29
  %29 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %28 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %30
  %30 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %29), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %31
  %31 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %30 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %32
  store %31 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %32
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %33

bb6(%34 : $Int64):                                // Preds: bb2
  br bb7, loc "/source/Sources/JSONError.swift":116:13, scope 23 // id: %35

bb7:                                              // Preds: bb8 bb6
  %36 = enum $JSONError.JSONType, #JSONError.JSONType.number!enumelt, loc "/source/Sources/JSONError.swift":116:43, scope 25 // user: %37
  %37 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %36 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %38
  %38 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %37), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %39
  %39 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %38 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %40
  store %39 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %40
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %41

bb8(%42 : $Double):                               // Preds: bb2
  br bb7, loc "/source/Sources/JSONError.swift":116:13, scope 27 // id: %43

bb9(%44 : $DecimalPlaceholder):                   // Preds: bb2
  %45 = enum $JSONError.JSONType, #JSONError.JSONType.decimalPlaceholder!enumelt, loc "/source/Sources/JSONError.swift":121:29, scope 29 // user: %46
  %46 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %45 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %47
  %47 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %46), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %48
  %48 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %47 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %49
  store %48 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %49
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %50

bb10(%51 : $JSONObject):                          // Preds: bb2
  %52 = enum $JSONError.JSONType, #JSONError.JSONType.object!enumelt, loc "/source/Sources/JSONError.swift":123:35, scope 31 // user: %53
  %53 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %52 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %54
  %54 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %53), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %55
  %55 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %54 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %56
  store %55 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %56
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %57

bb11(%58 : $ContiguousArray<JSON>):               // Preds: bb2
  %59 = enum $JSONError.JSONType, #JSONError.JSONType.array!enumelt, loc "/source/Sources/JSONError.swift":124:34, scope 33 // user: %60
  %60 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %59 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":140:125, scope 11 // user: %61
  %61 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%10, %12, %60), loc "/source/Sources/JSONError.swift":140:76, scope 11 // user: %62
  %62 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %61 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":140:56, scope 11 // user: %63
  store %62 to %9 : $*JSONError, loc "/source/Sources/JSONError.swift":140:56, scope 11 // id: %63
  throw %8 : $Error, loc "/source/Sources/JSONError.swift":140:40, scope 3 // id: %64
} // end sil function '_TFO6PMJSON4JSON7getBoolfzT_Sb'

0  swift           0x000000000362f718
1  swift           0x000000000362fe56
2  libpthread.so.0 0x00007f10ebfbe390
3  libc.so.6       0x00007f10ea924428 gsignal + 56
4  libc.so.6       0x00007f10ea92602a abort + 362
5  swift           0x0000000000f2da13
6  swift           0x0000000000f2989e
7  swift           0x0000000000f2ca90
8  swift           0x000000000047f5b8
9  swift           0x000000000043b277
10 libc.so.6       0x00007f10ea90f830 __libc_start_main + 240
11 swift           0x00000000004386b9
Stack dump:
0.  Program arguments: /usr/bin/swift -frontend -c /source/Sources/Accessors.swift /source/Sources/DecimalNumber.swift /source/Sources/Decoder.swift /source/Sources/Encoder.swift /source/Sources/JSON.swift /source/Sources/JSONError.swift /source/Sources/JSONObject.swift /source/Sources/ObjectiveC.swift /source/Sources/Parser.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -I /source/.build/release -module-cache-path /source/.build/release/ModuleCache -D SWIFT_PACKAGE -emit-module-doc-path /source/.build/release/PMJSON.swiftdoc -O -parse-as-library -module-name PMJSON -emit-module-path /source/.build/release/PMJSON.swiftmodule -emit-dependencies-path /source/.build/release/PMJSON.build/PMJSON.d -num-threads 8 -o /source/.build/release/PMJSON.build/Accessors.swift.o -o /source/.build/release/PMJSON.build/DecimalNumber.swift.o -o /source/.build/release/PMJSON.build/Decoder.swift.o -o /source/.build/release/PMJSON.build/Encoder.swift.o -o /source/.build/release/PMJSON.build/JSON.swift.o -o /source/.build/release/PMJSON.build/JSONError.swift.o -o /source/.build/release/PMJSON.build/JSONObject.swift.o -o /source/.build/release/PMJSON.build/ObjectiveC.swift.o -o /source/.build/release/PMJSON.build/Parser.swift.o 
1.  While verifying SIL function @_TFO6PMJSON4JSON7getBoolfzT_Sb for 'getBool' at /source/Sources/JSONError.swift:139:5
<unknown>:0: error: unable to execute command: Aborted
<unknown>:0: error: compile command failed due to signal (use -v to see invocation)
<unknown>:0: error: build had 1 command failures
error: exit(1): /usr/bin/swift-build-tool -f /source/.build/release.yaml

[belkadan]

cc @eeckstein, who added this assertion way back in the day, and @gottesmm, who often knows what's going on in SIL.

[gottesmm]

Hmmm... interesting... This should be pretty easy to track down using -sil-verify-all since that will tell the exact pass that breaks the invariant. We generally do not duplicate throw blocks. I wonder if this is perhaps an inliner issue. But that is just a wild guess.

[lilyball]

I ran swift build -c release -Xswiftc -Xfrontend -Xswiftc -sil-verify-all (in the Linux docker container) and got the following output:

Compile Swift Module 'PMJSON' (9 sources)
SIL verification failed: more than one throw block in function: !FoundThrowBlock
In function:
sil_scope 1 { loc "/source/Sources/JSONError.swift":278:18 parent @_TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS_ : $@convention(method) (JSONError.ExpectedType, @guaranteed JSON) -> (@owned Optional<String>, @error Error) }
sil_scope 2 { loc "/source/Sources/JSONError.swift":294:5 parent 1 }
sil_scope 3 { loc "/source/Sources/JSONError.swift":292:9 parent 2 }
sil_scope 4 { loc "/source/Sources/JSONError.swift":292:9 parent 3 }
sil_scope 5 { loc "/source/Sources/JSONError.swift":280:37 parent 4 }
sil_scope 6 { loc "/source/Sources/JSONError.swift":281:28 parent 2 }
sil_scope 7 { loc "/source/Sources/JSONError.swift":292:9 parent 3 }
sil_scope 8 { loc "/source/Sources/JSONError.swift":282:43 parent 7 }
sil_scope 9 {  parent @_TTWSbs23CustomStringConvertiblesFS_g11descriptionSS : $@convention(witness_method) (@in_guaranteed Bool) -> @owned String }
sil_scope 10 {  parent @_TTSg5SbSbs25LosslessStringConvertibles___TFSSCuRxs25LosslessStringConvertiblerfxSS : $@convention(method) (Bool, @thin String.Type) -> @owned String }
sil_scope 11 {  parent 10 }
sil_scope 12 {  parent 9 inlined_at 11 }
sil_scope 13 { loc "/source/Sources/JSONError.swift":282:43 parent 8 }
sil_scope 14 {  parent 12 inlined_at 13 }
sil_scope 15 { loc "/source/Sources/JSONError.swift":292:9 parent 3 }
sil_scope 16 { loc "/source/Sources/JSONError.swift":283:44 parent 15 }
sil_scope 17 {  parent @_TTSg5Vs5Int64S_s14_SignedIntegers___TIFSScuRxs14_SignedIntegerrFTx5radixSi9uppercaseSb_SSA0_ : $@convention(thin) () -> Int }
sil_scope 18 { loc "/source/Sources/JSONError.swift":283:43 parent 16 }
sil_scope 19 {  parent 17 inlined_at 18 }
sil_scope 20 {  parent @_TTSg5Vs5Int64S_s14_SignedIntegers___TIFSScuRxs14_SignedIntegerrFTx5radixSi9uppercaseSb_SSA1_ : $@convention(thin) () -> Bool }
sil_scope 21 { loc "/source/Sources/JSONError.swift":283:43 parent 16 }
sil_scope 22 {  parent 20 inlined_at 21 }
sil_scope 23 { loc "/source/Sources/JSONError.swift":292:9 parent 3 }
sil_scope 24 {  parent @_TTWSds23CustomStringConvertiblesFS_g11descriptionSS : $@convention(witness_method) (@in_guaranteed Double) -> @owned String }
sil_scope 25 {  parent @_TTSg5SdSds25LosslessStringConvertibles___TFSSCuRxs25LosslessStringConvertiblerfxSS : $@convention(method) (Double, @thin String.Type) -> @owned String }
sil_scope 26 {  parent 25 }
sil_scope 27 {  parent 24 inlined_at 26 }
sil_scope 28 { loc "/source/Sources/JSONError.swift":284:45 parent 23 }
sil_scope 29 { loc "/source/Sources/JSONError.swift":284:45 parent 28 }
sil_scope 30 {  parent 27 inlined_at 29 }
sil_scope 31 {  parent @_TFs16_float64ToStringFTSd5debugSb_SS : $@convention(thin) (Double, Bool) -> @owned String }
sil_scope 32 {  parent 27 }
sil_scope 33 {  parent 31 inlined_at 32 }
sil_scope 34 {  parent 33 inlined_at 29 }
sil_scope 35 { loc "/source/Sources/JSONError.swift":292:9 parent 3 }
sil_scope 36 { loc "/source/Sources/JSONError.swift":290:13 parent 35 }
sil_scope 37 { loc "/source/Sources/JSONError.swift":291:18 parent 2 }
sil_scope 38 { loc "/source/Sources/JSONError.swift":111:30 parent @_TZFOO6PMJSON9JSONError8JSONType8forValuefOS_4JSONS1_ : $@convention(method) (@owned JSON, @thin JSONError.JSONType.Type) -> JSONError.JSONType }
sil_scope 39 { loc "/source/Sources/JSONError.swift":293:99 parent 2 }
sil_scope 40 { loc "/source/Sources/JSONError.swift":111:30 parent 38 inlined_at 39 }
sil_scope 41 { loc "/source/Sources/JSONError.swift":126:9 parent 38 }
sil_scope 42 { loc "/source/Sources/JSONError.swift":125:13 parent 41 }
sil_scope 43 { loc "/source/Sources/JSONError.swift":125:13 parent 42 inlined_at 39 }
sil_scope 44 { loc "/source/Sources/JSONError.swift":113:33 parent 41 }
sil_scope 45 { loc "/source/Sources/JSONError.swift":113:33 parent 44 inlined_at 39 }
sil_scope 46 { loc "/source/Sources/JSONError.swift":114:33 parent 41 }
sil_scope 47 { loc "/source/Sources/JSONError.swift":114:33 parent 46 inlined_at 39 }
sil_scope 48 { loc "/source/Sources/JSONError.swift":115:35 parent 41 }
sil_scope 49 { loc "/source/Sources/JSONError.swift":115:35 parent 48 inlined_at 39 }
sil_scope 50 { loc "/source/Sources/JSONError.swift":125:13 parent 42 }
sil_scope 51 { loc "/source/Sources/JSONError.swift":125:13 parent 50 inlined_at 39 }
sil_scope 52 { loc "/source/Sources/JSONError.swift":116:43 parent 41 }
sil_scope 53 { loc "/source/Sources/JSONError.swift":116:43 parent 52 inlined_at 39 }
sil_scope 54 { loc "/source/Sources/JSONError.swift":125:13 parent 42 }
sil_scope 55 { loc "/source/Sources/JSONError.swift":125:13 parent 54 inlined_at 39 }
sil_scope 56 { loc "/source/Sources/JSONError.swift":122:17 parent 41 }
sil_scope 57 { loc "/source/Sources/JSONError.swift":122:17 parent 56 inlined_at 39 }
sil_scope 58 { loc "/source/Sources/JSONError.swift":123:35 parent 41 }
sil_scope 59 { loc "/source/Sources/JSONError.swift":123:35 parent 58 inlined_at 39 }
sil_scope 60 { loc "/source/Sources/JSONError.swift":124:34 parent 41 }
sil_scope 61 { loc "/source/Sources/JSONError.swift":124:34 parent 60 inlined_at 39 }

// JSON.toStringMaybeNil(JSONError.ExpectedType) throws -> String?
sil private @_TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS_ : $@convention(method) (JSONError.ExpectedType, @guaranteed JSON) -> (@owned Optional<String>, @error Error) {
// %0                                             // users: %148, %155, %163, %172, %179, %186, %141, %2
// %1                                             // users: %131, %128, %118, %108, %71, %47, %37, %11, %8, %138, %137, %4, %3
bb0(%0 : $JSONError.ExpectedType, %1 : $JSON):
  debug_value %0 : $JSONError.ExpectedType, let, name "expected", argno 1, loc "/source/Sources/JSONError.swift":278:37, scope 1 // id: %2
  debug_value %1 : $JSON, let, name "self", argno 2, loc "/source/Sources/JSONError.swift":278:18, scope 1 // id: %3
  switch_enum %1 : $JSON, case #JSON.string!enumelt.1: bb1, case #JSON.null!enumelt: bb2, case #JSON.bool!enumelt.1: bb3, case #JSON.int64!enumelt.1: bb7, case #JSON.double!enumelt.1: bb8, case #JSON.decimal!enumelt.1: bb18, default bb19, loc "/source/Sources/JSONError.swift":280:14, scope 3 // id: %4

// %5                                             // users: %7, %6
bb1(%5 : $String):                                // Preds: bb0
  debug_value %5 : $String, let, name "s", loc "/source/Sources/JSONError.swift":280:26, scope 4 // id: %6
  %7 = enum $Optional<String>, #Optional.some!enumelt.1, %5 : $String, loc "/source/Sources/JSONError.swift":280:37, scope 5 // user: %9
  retain_value %1 : $JSON, scope 1                // id: %8
  br bb30(%7 : $Optional<String>), loc "/source/Sources/JSONError.swift":280:30, scope 5 // id: %9

bb2:                                              // Preds: bb0
  %10 = enum $Optional<String>, #Optional.none!enumelt, loc "/source/Sources/JSONError.swift":281:28, scope 6 // user: %12
  retain_value %1 : $JSON, scope 1                // id: %11
  br bb30(%10 : $Optional<String>), loc "/source/Sources/JSONError.swift":281:21, scope 6 // id: %12

// %13                                            // users: %15, %14
bb3(%13 : $Bool):                                 // Preds: bb0
  debug_value %13 : $Bool, let, name "b", loc "/source/Sources/JSONError.swift":282:24, scope 7 // id: %14
  %15 = struct_extract %13 : $Bool, #Bool._value, loc "/source/Sources/JSONError.swift":282:42, scope 8 // user: %16
  cond_br %15, bb4, bb5, scope 14                 // id: %16

bb4:                                              // Preds: bb3
  %17 = string_literal utf8 "true", scope 14      // user: %18
  %18 = struct $UnsafeMutableRawPointer (%17 : $Builtin.RawPointer), scope 14 // user: %19
  %19 = enum $Optional<UnsafeMutableRawPointer>, #Optional.some!enumelt.1, %18 : $UnsafeMutableRawPointer, scope 14 // user: %23
  %20 = enum $Optional<AnyObject>, #Optional.none!enumelt, scope 14 // user: %23
  %21 = integer_literal $Builtin.Int64, 4, scope 14 // user: %22
  %22 = struct $UInt (%21 : $Builtin.Int64), scope 14 // user: %23
  %23 = struct $_StringCore (%19 : $Optional<UnsafeMutableRawPointer>, %22 : $UInt, %20 : $Optional<AnyObject>), scope 14 // user: %24
  %24 = struct $String (%23 : $_StringCore), scope 14 // user: %25
  br bb6(%24 : $String), loc "/source/Sources/JSONError.swift":282:43, scope 14 // id: %25

bb5:                                              // Preds: bb3
  %26 = string_literal utf8 "false", scope 14     // user: %27
  %27 = struct $UnsafeMutableRawPointer (%26 : $Builtin.RawPointer), scope 14 // user: %28
  %28 = enum $Optional<UnsafeMutableRawPointer>, #Optional.some!enumelt.1, %27 : $UnsafeMutableRawPointer, scope 14 // user: %32
  %29 = enum $Optional<AnyObject>, #Optional.none!enumelt, scope 14 // user: %32
  %30 = integer_literal $Builtin.Int64, 5, scope 14 // user: %31
  %31 = struct $UInt (%30 : $Builtin.Int64), scope 14 // user: %32
  %32 = struct $_StringCore (%28 : $Optional<UnsafeMutableRawPointer>, %31 : $UInt, %29 : $Optional<AnyObject>), scope 14 // user: %33
  %33 = struct $String (%32 : $_StringCore), scope 14 // user: %34
  br bb6(%33 : $String), scope 14                 // id: %34

// %35                                            // user: %36
bb6(%35 : $String):                               // Preds: bb5 bb4
  %36 = enum $Optional<String>, #Optional.some!enumelt.1, %35 : $String, loc "/source/Sources/JSONError.swift":282:35, scope 8 // user: %38
  retain_value %1 : $JSON, scope 1                // id: %37
  br bb30(%36 : $Optional<String>), loc "/source/Sources/JSONError.swift":282:28, scope 8 // id: %38

// %39                                            // users: %48, %40
bb7(%39 : $Int64):                                // Preds: bb0
  debug_value %39 : $Int64, let, name "i", loc "/source/Sources/JSONError.swift":283:25, scope 15 // id: %40
  %41 = metatype $@thin String.Type, loc "/source/Sources/JSONError.swift":283:36, scope 16 // user: %48
  %42 = integer_literal $Builtin.Int64, 10, scope 19 // user: %43
  %43 = struct $Int (%42 : $Builtin.Int64), scope 19 // user: %48
  %44 = integer_literal $Builtin.Int1, 0, scope 22 // user: %45
  %45 = struct $Bool (%44 : $Builtin.Int1), scope 22 // user: %48
  // function_ref specialized String.init<A where ...> (A, radix : Int, uppercase : Bool) -> String
  %46 = function_ref @_TTSg5Vs5Int64S_s14_SignedIntegers___TFSSCuRxs14_SignedIntegerrfTx5radixSi9uppercaseSb_SS : $@convention(method) (Int64, Int, Bool, @thin String.Type) -> @owned String, loc "/source/Sources/JSONError.swift":283:44, scope 16 // user: %48
  retain_value %1 : $JSON, scope 1                // id: %47
  %48 = apply %46(%39, %43, %45, %41) : $@convention(method) (Int64, Int, Bool, @thin String.Type) -> @owned String, loc "/source/Sources/JSONError.swift":283:44, scope 16 // user: %49
  %49 = enum $Optional<String>, #Optional.some!enumelt.1, %48 : $String, loc "/source/Sources/JSONError.swift":283:36, scope 16 // user: %50
  br bb30(%49 : $Optional<String>), loc "/source/Sources/JSONError.swift":283:29, scope 16 // id: %50

// %51                                            // users: %56, %72, %52
bb8(%51 : $Double):                               // Preds: bb0
  debug_value %51 : $Double, let, name "d", loc "/source/Sources/JSONError.swift":284:26, scope 23 // id: %52
  %53 = integer_literal $Builtin.Int1, 0, scope 30 // user: %54
  %54 = struct $Bool (%53 : $Builtin.Int1), scope 30 // user: %72
  %55 = alloc_stack $_Buffer32, scope 34          // users: %75, %69, %67
  %56 = struct_extract %51 : $Double, #Double._value, scope 34 // user: %57
  %57 = builtin "bitcast_FPIEEE64_Int64"(%56 : $Builtin.FPIEEE64) : $Builtin.Int64, scope 34 // users: %84, %79, %59
  %58 = integer_literal $Builtin.Int64, 52, scope 34 // user: %59
  %59 = builtin "lshr_Int64"(%57 : $Builtin.Int64, %58 : $Builtin.Int64) : $Builtin.Int64, scope 34 // user: %61
  %60 = integer_literal $Builtin.Int64, 2047, scope 34 // users: %62, %61
  %61 = builtin "and_Int64"(%59 : $Builtin.Int64, %60 : $Builtin.Int64) : $Builtin.Int64, scope 34 // user: %62
  %62 = builtin "cmp_ult_Int64"(%61 : $Builtin.Int64, %60 : $Builtin.Int64) : $Builtin.Int1, scope 34 // user: %63
  cond_br %62, bb9, bb11, scope 34                // id: %63

bb9:                                              // Preds: bb8
  %64 = integer_literal $Builtin.Int8, 0, scope 34 // user: %65
  %65 = struct $UInt8 (%64 : $Builtin.Int8), scope 34 // users: %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66, %66
  %66 = struct $_Buffer32 (%65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8, %65 : $UInt8), scope 34 // user: %67
  store %66 to %55 : $*_Buffer32, scope 34        // id: %67
  // function_ref (_float64ToString(Double, debug : Bool) -> String).(closure #&#8203;1)
  %68 = function_ref @_TFFs16_float64ToStringFTSd5debugSb_SSU_FGSpVs5UInt8_SS : $@convention(thin) (UnsafeMutablePointer<UInt8>, Double, Bool) -> @owned String, scope 34 // user: %72
  %69 = address_to_pointer %55 : $*_Buffer32 to $Builtin.RawPointer, scope 34 // user: %70
  %70 = struct $UnsafeMutablePointer<UInt8> (%69 : $Builtin.RawPointer), scope 34 // user: %72
  retain_value %1 : $JSON, scope 1                // id: %71
  %72 = apply %68(%70, %51, %54) : $@convention(thin) (UnsafeMutablePointer<UInt8>, Double, Bool) -> @owned String, scope 34 // user: %73
  br bb10(%72 : $String), scope 34                // id: %73

// %74                                            // user: %76
bb10(%74 : $String):                              // Preds: bb17 bb16 bb15 bb9
  dealloc_stack %55 : $*_Buffer32, scope 34       // id: %75
  %76 = enum $Optional<String>, #Optional.some!enumelt.1, %74 : $String, loc "/source/Sources/JSONError.swift":284:37, scope 28 // user: %77
  br bb30(%76 : $Optional<String>), loc "/source/Sources/JSONError.swift":284:30, scope 28 // id: %77

bb11:                                             // Preds: bb8
  %78 = integer_literal $Builtin.Int64, 4503599627370495, scope 34 // user: %79
  %79 = builtin "and_Int64"(%57 : $Builtin.Int64, %78 : $Builtin.Int64) : $Builtin.Int64, scope 34 // user: %81
  %80 = integer_literal $Builtin.Int64, 0, scope 34 // users: %97, %91, %81
  %81 = builtin "cmp_eq_Int64"(%79 : $Builtin.Int64, %80 : $Builtin.Int64) : $Builtin.Int1, scope 34 // user: %82
  cond_br %81, bb12, bb17, scope 34               // id: %82

bb12:                                             // Preds: bb11
  %83 = integer_literal $Builtin.Int64, 63, scope 34 // user: %84
  %84 = builtin "lshr_Int64"(%57 : $Builtin.Int64, %83 : $Builtin.Int64) : $Builtin.Int64, scope 34 // user: %91
  %85 = integer_literal $Builtin.Int64, 1, scope 34 // users: %98, %97, %91
  %86 = enum $FloatingPointSign, #FloatingPointSign.minus!enumelt, scope 34 // user: %87
  %87 = enum $Optional<FloatingPointSign>, #Optional.some!enumelt.1, %86 : $FloatingPointSign, scope 34 // user: %91
  %88 = enum $FloatingPointSign, #FloatingPointSign.plus!enumelt, scope 34 // user: %89
  %89 = enum $Optional<FloatingPointSign>, #Optional.some!enumelt.1, %88 : $FloatingPointSign, scope 34 // user: %91
  %90 = enum $Optional<FloatingPointSign>, #Optional.none!enumelt, scope 34 // user: %91
  %91 = select_value %84 : $Builtin.Int64, case %85: %87, case %80: %89, default %90 : $Optional<FloatingPointSign>, scope 34 // users: %92, %96
  switch_enum %91 : $Optional<FloatingPointSign>, case #Optional.none!enumelt: bb13, case #Optional.some!enumelt.1: bb14, scope 34 // id: %92

bb13:                                             // Preds: bb12
  %93 = integer_literal $Builtin.Int1, -1, scope 34 // user: %94
  cond_fail %93 : $Builtin.Int1, scope 34         // id: %94
  unreachable , scope 1                           // id: %95

bb14:                                             // Preds: bb12
  %96 = unchecked_enum_data %91 : $Optional<FloatingPointSign>, #Optional.some!enumelt.1, scope 34 // user: %97
  %97 = select_enum %96 : $FloatingPointSign, case #FloatingPointSign.plus!enumelt: %80, case #FloatingPointSign.minus!enumelt: %85 : $Builtin.Int64, scope 34 // user: %98
  %98 = builtin "cmp_eq_Int64"(%97 : $Builtin.Int64, %85 : $Builtin.Int64) : $Builtin.Int1, scope 34 // user: %99
  cond_br %98, bb15, bb16, scope 34               // id: %99

bb15:                                             // Preds: bb14
  %100 = string_literal utf8 "-inf", scope 34     // user: %101
  %101 = struct $UnsafeMutableRawPointer (%100 : $Builtin.RawPointer), scope 34 // user: %102
  %102 = enum $Optional<UnsafeMutableRawPointer>, #Optional.some!enumelt.1, %101 : $UnsafeMutableRawPointer, scope 34 // user: %106
  %103 = enum $Optional<AnyObject>, #Optional.none!enumelt, scope 34 // user: %106
  %104 = integer_literal $Builtin.Int64, 4, scope 34 // user: %105
  %105 = struct $UInt (%104 : $Builtin.Int64), scope 34 // user: %106
  %106 = struct $_StringCore (%102 : $Optional<UnsafeMutableRawPointer>, %105 : $UInt, %103 : $Optional<AnyObject>), scope 34 // user: %107
  %107 = struct $String (%106 : $_StringCore), scope 34 // user: %109
  retain_value %1 : $JSON, scope 1                // id: %108
  br bb10(%107 : $String), scope 34               // id: %109

bb16:                                             // Preds: bb14
  %110 = string_literal utf8 "inf", scope 34      // user: %111
  %111 = struct $UnsafeMutableRawPointer (%110 : $Builtin.RawPointer), scope 34 // user: %112
  %112 = enum $Optional<UnsafeMutableRawPointer>, #Optional.some!enumelt.1, %111 : $UnsafeMutableRawPointer, scope 34 // user: %116
  %113 = enum $Optional<AnyObject>, #Optional.none!enumelt, scope 34 // user: %116
  %114 = integer_literal $Builtin.Int64, 3, scope 34 // user: %115
  %115 = struct $UInt (%114 : $Builtin.Int64), scope 34 // user: %116
  %116 = struct $_StringCore (%112 : $Optional<UnsafeMutableRawPointer>, %115 : $UInt, %113 : $Optional<AnyObject>), scope 34 // user: %117
  %117 = struct $String (%116 : $_StringCore), scope 34 // user: %119
  retain_value %1 : $JSON, scope 1                // id: %118
  br bb10(%117 : $String), scope 34               // id: %119

bb17:                                             // Preds: bb11
  %120 = string_literal utf8 "nan", scope 34      // user: %121
  %121 = struct $UnsafeMutableRawPointer (%120 : $Builtin.RawPointer), scope 34 // user: %122
  %122 = enum $Optional<UnsafeMutableRawPointer>, #Optional.some!enumelt.1, %121 : $UnsafeMutableRawPointer, scope 34 // user: %126
  %123 = enum $Optional<AnyObject>, #Optional.none!enumelt, scope 34 // user: %126
  %124 = integer_literal $Builtin.Int64, 3, scope 34 // user: %125
  %125 = struct $UInt (%124 : $Builtin.Int64), scope 34 // user: %126
  %126 = struct $_StringCore (%122 : $Optional<UnsafeMutableRawPointer>, %125 : $UInt, %123 : $Optional<AnyObject>), scope 34 // user: %127
  %127 = struct $String (%126 : $_StringCore), scope 34 // user: %129
  retain_value %1 : $JSON, scope 1                // id: %128
  br bb10(%127 : $String), scope 34               // id: %129

bb18(%130 : $DecimalPlaceholder):                 // Preds: bb0
  retain_value %1 : $JSON, scope 1                // id: %131
  br bb20, loc "/source/Sources/JSONError.swift":289:17, scope 36 // id: %132

bb19:                                             // Preds: bb0
  br bb20, loc "/source/Sources/JSONError.swift":291:18, scope 37 // id: %133

bb20:                                             // Preds: bb19 bb18
  %134 = alloc_existential_box $Error, $JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // users: %151, %158, %166, %175, %182, %189, %144, %135
  %135 = project_existential_box $JSONError in %134 : $Error, loc "/source/Sources/JSONError.swift":293:25, scope 2 // users: %150, %157, %165, %174, %181, %188, %143
  %136 = enum $Optional<String>, #Optional.none!enumelt, loc "/source/Sources/JSONError.swift":293:52, scope 2 // users: %148, %155, %163, %172, %179, %186, %141
  debug_value %1 : $JSON, let, name "value", argno 1, loc "/source/Sources/JSONError.swift":111:41, scope 40 // id: %137
  switch_enum %1 : $JSON, case #JSON.null!enumelt: bb21, case #JSON.bool!enumelt.1: bb22, case #JSON.string!enumelt.1: bb23, case #JSON.int64!enumelt.1: bb24, case #JSON.double!enumelt.1: bb26, case #JSON.decimal!enumelt.1: bb27, case #JSON.object!enumelt.1: bb28, case #JSON.array!enumelt.1: bb29, loc "/source/Sources/JSONError.swift":113:18, scope 43 // id: %138

bb21:                                             // Preds: bb20
  %139 = enum $JSONError.JSONType, #JSONError.JSONType.null!enumelt, loc "/source/Sources/JSONError.swift":113:33, scope 45 // user: %140
  %140 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %139 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %141
  %141 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %140), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %142
  %142 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %141 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %143
  store %142 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %143
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %144

bb22(%145 : $Bool):                               // Preds: bb20
  %146 = enum $JSONError.JSONType, #JSONError.JSONType.bool!enumelt, loc "/source/Sources/JSONError.swift":114:33, scope 47 // user: %147
  %147 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %146 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %148
  %148 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %147), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %149
  %149 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %148 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %150
  store %149 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %150
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %151

bb23(%152 : $String):                             // Preds: bb20
  %153 = enum $JSONError.JSONType, #JSONError.JSONType.string!enumelt, loc "/source/Sources/JSONError.swift":115:35, scope 49 // user: %154
  %154 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %153 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %155
  %155 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %154), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %156
  %156 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %155 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %157
  store %156 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %157
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %158

bb24(%159 : $Int64):                              // Preds: bb20
  br bb25, loc "/source/Sources/JSONError.swift":116:13, scope 51 // id: %160

bb25:                                             // Preds: bb26 bb24
  %161 = enum $JSONError.JSONType, #JSONError.JSONType.number!enumelt, loc "/source/Sources/JSONError.swift":116:43, scope 53 // user: %162
  %162 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %161 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %163
  %163 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %162), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %164
  %164 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %163 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %165
  store %164 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %165
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %166

bb26(%167 : $Double):                             // Preds: bb20
  br bb25, loc "/source/Sources/JSONError.swift":116:13, scope 55 // id: %168

bb27(%169 : $DecimalPlaceholder):                 // Preds: bb20
  %170 = enum $JSONError.JSONType, #JSONError.JSONType.decimalPlaceholder!enumelt, loc "/source/Sources/JSONError.swift":121:29, scope 57 // user: %171
  %171 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %170 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %172
  %172 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %171), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %173
  %173 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %172 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %174
  store %173 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %174
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %175

bb28(%176 : $JSONObject):                         // Preds: bb20
  %177 = enum $JSONError.JSONType, #JSONError.JSONType.object!enumelt, loc "/source/Sources/JSONError.swift":123:35, scope 59 // user: %178
  %178 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %177 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %179
  %179 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %178), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %180
  %180 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %179 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %181
  store %180 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %181
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %182

bb29(%183 : $ContiguousArray<JSON>):              // Preds: bb20
  %184 = enum $JSONError.JSONType, #JSONError.JSONType.array!enumelt, loc "/source/Sources/JSONError.swift":124:34, scope 61 // user: %185
  %185 = enum $Optional<JSONError.JSONType>, #Optional.some!enumelt.1, %184 : $JSONError.JSONType, loc "/source/Sources/JSONError.swift":293:86, scope 2 // user: %186
  %186 = tuple $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>) (%136, %0, %185), loc "/source/Sources/JSONError.swift":293:45, scope 2 // user: %187
  %187 = enum $JSONError, #JSONError.missingOrInvalidType!enumelt.1, %186 : $(path: Optional<String>, expected: JSONError.ExpectedType, actual: Optional<JSONError.JSONType>), loc "/source/Sources/JSONError.swift":293:25, scope 2 // user: %188
  store %187 to %135 : $*JSONError, loc "/source/Sources/JSONError.swift":293:25, scope 2 // id: %188
  throw %134 : $Error, loc "/source/Sources/JSONError.swift":293:9, scope 2 // id: %189

// %190                                           // user: %191
bb30(%190 : $Optional<String>):                   // Preds: bb2 bb10 bb7 bb6 bb1
  return %190 : $Optional<String>, loc "/source/Sources/JSONError.swift":294:5, scope 2 // id: %191
} // end sil function '_TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS_'

0  swift           0x000000000362f718
1  swift           0x000000000362fe56
2  libpthread.so.0 0x00007f5b7ef51390
3  libc.so.6       0x00007f5b7d8b7428 gsignal + 56
4  libc.so.6       0x00007f5b7d8b902a abort + 362
5  swift           0x0000000000f2da13
6  swift           0x0000000000f2989e
7  swift           0x0000000000be0308
8  swift           0x0000000000be0aa9
9  swift           0x0000000000be1f1f
10 swift           0x0000000000491ae8
11 swift           0x0000000000bea71b
12 swift           0x000000000047f52d
13 swift           0x000000000043b277
14 libc.so.6       0x00007f5b7d8a2830 __libc_start_main + 240
15 swift           0x00000000004386b9
Stack dump:
0.  Program arguments: /usr/bin/swift -frontend -c /source/Sources/Accessors.swift /source/Sources/DecimalNumber.swift /source/Sources/Decoder.swift /source/Sources/Encoder.swift /source/Sources/JSON.swift /source/Sources/JSONError.swift /source/Sources/JSONObject.swift /source/Sources/ObjectiveC.swift /source/Sources/Parser.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -I /source/.build/release -module-cache-path /source/.build/release/ModuleCache -D SWIFT_PACKAGE -sil-verify-all -emit-module-doc-path /source/.build/release/PMJSON.swiftdoc -O -parse-as-library -module-name PMJSON -emit-module-path /source/.build/release/PMJSON.swiftmodule -emit-dependencies-path /source/.build/release/PMJSON.build/PMJSON.d -num-threads 8 -o /source/.build/release/PMJSON.build/Accessors.swift.o -o /source/.build/release/PMJSON.build/DecimalNumber.swift.o -o /source/.build/release/PMJSON.build/Decoder.swift.o -o /source/.build/release/PMJSON.build/Encoder.swift.o -o /source/.build/release/PMJSON.build/JSON.swift.o -o /source/.build/release/PMJSON.build/JSONError.swift.o -o /source/.build/release/PMJSON.build/JSONObject.swift.o -o /source/.build/release/PMJSON.build/ObjectiveC.swift.o -o /source/.build/release/PMJSON.build/Parser.swift.o 
1.  While running pass #&#8203;24309 SILFunctionTransform "Simplify CFG" on SILFunction "@_TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS_".
2.  While verifying SIL function @_TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS_ for 'toStringMaybeNil' at /source/Sources/JSONError.swift:278:13
<unknown>:0: error: unable to execute command: Aborted
<unknown>:0: error: compile command failed due to signal (use -v to see invocation)
<unknown>:0: error: build had 1 command failures
error: exit(1): /usr/bin/swift-build-tool -f /source/.build/release.yaml

[gottesmm]

Eridius (JIRA User) Just an FYI, what this does is run the verification after each pass runs. Normally we only verify at the end of the pipeline.

THIS LINE ==> 1. While running pass #24309 SILFunctionTransform "Simplify CFG" on SILFunction "@TFO6PMJSON4JSONP33_EF73B866A8DB85C917DA289C2B9D9F2D16toStringMaybeNilfzOOS_9JSONError12ExpectedTypeGSqSS"

shows the pass that is failing. So what is going on here is simplify cfg is miscompiling.

aschwaighofer@apple.com (JIRA User)

And thoughts?

[gottesmm]

@swift-ci create

[aschwaighofer]

We probably need:

diff --git a/lib/SIL/LoopInfo.cpp b/lib/SIL/LoopInfo.cpp
index ae2cae505f..54c63cf508 100644
--- a/lib/SIL/LoopInfo.cpp
+++ b/lib/SIL/LoopInfo.cpp
@@ -76,6 +76,9 @@ bool SILLoop::canDuplicate(SILInstruction *I) const {
     return false;
   }
 
+  if (isa<ThrowInst>(I))
+    return false;
+
   assert(I->isTriviallyDuplicatable() &&
     "Code here must match isTriviallyDuplicatable in SILInstruction");
   return true;
diff --git a/lib/SIL/SILInstruction.cpp b/lib/SIL/SILInstruction.cpp
index 1ae2f21c2b..2d7871fa67 100644
--- a/lib/SIL/SILInstruction.cpp
+++ b/lib/SIL/SILInstruction.cpp
@@ -992,6 +992,9 @@ SILInstruction *SILInstruction::clone(SILInstruction *InsertPt) {
 /// additional handling. It is important to know this information when
 /// you perform such optimizations like e.g. jump-threading.
 bool SILInstruction::isTriviallyDuplicatable() const {
+  if (isa<ThrowInst>(this))
+    return false;
+
   if (isa<AllocStackInst>(this) || isa<DeallocStackInst>(this)) {
     return false;
   }

[aschwaighofer]

Reproduced on trunk and would be fixed by the above change.

[lilyball]

Glad to hear it. In the meantime, do you have any idea of what I could try to work around this issue in Swift 3.1?

[aschwaighofer]

Not a great workaround. But you should be able to work around this by inserting a function call (this prevents the optimization from going ahead).

@inline(never)
func hideThrow<T: Error>(_ e: T) -> T {
  return e
}
 
        func getDecimal() throws -> Decimal {
            switch self {
            case .int64(let i): return Decimal(workaround: i)
            case .double(let d): return Decimal(workaround: d)
            case .decimal(let d): return d
            default:
              throw hideThrow(JSONError.missingOrInvalidType(path: nil, expected: .required(.number), actual: .forValue(self)))
            }
        }

[aschwaighofer]

#8440