From 62a3e13dc5c681a536271b834b11098aae9bce35 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Wed, 28 Feb 2024 02:07:34 +1100 Subject: [PATCH] Pin the hashable library to working version 1.4.2.0 (#3732) Fixes #3730 Fixes #3731 After upgrading GHC and stack resolver to newer versions, which bring in `hashable-1.4.3.0`, downstream upgrade jobs started failing because of missing `#Ceil` conditions. Systematic testing showed that the upgrade to `hashable` is causing these omissions. A manual downgrade of the dependency to 1.4.2.0 (as before) may fix the problems. --------- Co-authored-by: Georgy Lukyanov --- kore/kore.cabal | 3 +- stack.yaml | 3 +- stack.yaml.lock | 7 + ...max-inconsistent-prelude-spec.k.out.golden | 1 + test/imp/run-stepf-repl-script-spec.k | 1 - .../run-stepf-repl-script-spec.k.out.golden | 12 - test/imp/run-stepf-repl-script-spec.k.repl | 5 - ...save-proofs-spec.k.save-proofs.kore.golden | 8 +- test/regression-c/test-smoke100.sh.out.golden | 1800 +++++++++-------- test/rpc-server/Makefile | 3 + test/simplification/Makefile | 2 +- test/simplification/a-spec.k.out.golden | 1 + 12 files changed, 923 insertions(+), 923 deletions(-) delete mode 120000 test/imp/run-stepf-repl-script-spec.k delete mode 100644 test/imp/run-stepf-repl-script-spec.k.out.golden delete mode 100644 test/imp/run-stepf-repl-script-spec.k.repl diff --git a/kore/kore.cabal b/kore/kore.cabal index e2b44f7452..e76ed85bf0 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -127,7 +127,8 @@ common library build-depends: gitrev >=1.3 build-depends: graphviz >=2999.20 -- Pin hashable to make sure cabal build uses the one Nix & Stack builds do - build-depends: hashable ==1.4.3.0 + -- Also note that hashable-1.4.3.0 DOES NOT WORK! (see #3730) + build-depends: hashable ==1.4.2.0 build-depends: haskeline ==0.8.* build-depends: ghc-bignum >=1.2 build-depends: json-rpc >=1.0 diff --git a/stack.yaml b/stack.yaml index 9b86d35c1a..3d79221fa5 100644 --- a/stack.yaml +++ b/stack.yaml @@ -48,10 +48,11 @@ packages: # Dependency packages to be pulled from upstream that are not in the resolver # (e.g., acme-missiles-0.3) extra-deps: + - hashable-1.4.2.0 - decision-diagrams-0.2.0.0 - typerep-map-0.6.0.0 - monad-validate-1.3.0.0 - - github: goodlyrottenapple/tasty-test-reporter + - github: goodlyrottenapple/tasty-test-reporter commit: b704130545aa3925a8487bd3e92f1dd5ce0512e2 ghc-options: diff --git a/stack.yaml.lock b/stack.yaml.lock index 8a42b24e7b..a0712a42fe 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -4,6 +4,13 @@ # https://docs.haskellstack.org/en/stable/lock_files packages: +- completed: + hackage: hashable-1.4.2.0@sha256:585792335d5541dba78fa8dfcb291a89cd5812a281825ff7a44afa296ab5d58a,4520 + pantry-tree: + sha256: 792a6cab3f15c5db29d759c8ca735d0be5f4c94f363329652f8b9780009d0829 + size: 1248 + original: + hackage: hashable-1.4.2.0 - completed: hackage: decision-diagrams-0.2.0.0@sha256:9f82d39f7331f6836784fa89354986e436a4d62d810b8fb2b44dd10c6a0beb85,3415 pantry-tree: diff --git a/test/imp/max-inconsistent-prelude-spec.k.out.golden b/test/imp/max-inconsistent-prelude-spec.k.out.golden index 00958d4398..4b9631c4b5 100644 --- a/test/imp/max-inconsistent-prelude-spec.k.out.golden +++ b/test/imp/max-inconsistent-prelude-spec.k.out.golden @@ -1 +1,2 @@ The definitions sent to the solver are inconsistent. +The definitions sent to the solver are inconsistent. diff --git a/test/imp/run-stepf-repl-script-spec.k b/test/imp/run-stepf-repl-script-spec.k deleted file mode 120000 index 8bfc6071af..0000000000 --- a/test/imp/run-stepf-repl-script-spec.k +++ /dev/null @@ -1 +0,0 @@ -sum-spec.k \ No newline at end of file diff --git a/test/imp/run-stepf-repl-script-spec.k.out.golden b/test/imp/run-stepf-repl-script-spec.k.out.golden deleted file mode 100644 index 331e35e2a0..0000000000 --- a/test/imp/run-stepf-repl-script-spec.k.out.golden +++ /dev/null @@ -1,12 +0,0 @@ -Kore (0)> ProveStepsF 11 -Kore (10)> ProveStepsF 4 -Kore (15)> ProveStepsF 1000 -Proof completed on all branches. - -Kore (15)> Prove (Left (ClaimIndex {unClaimIndex = 1})) -Switched to proving claim 1 - -Kore (0)> ProveStepsF 1000 -Proof completed on all branches. - -#Top diff --git a/test/imp/run-stepf-repl-script-spec.k.repl b/test/imp/run-stepf-repl-script-spec.k.repl deleted file mode 100644 index c7b06c01e8..0000000000 --- a/test/imp/run-stepf-repl-script-spec.k.repl +++ /dev/null @@ -1,5 +0,0 @@ -stepf 11 -stepf 4 -stepf 1000 -prove 1 -stepf 1000 diff --git a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden index 65d513d3ed..c224db090b 100644 --- a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden +++ b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden @@ -111,20 +111,20 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d /* InternalMap: */ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("sum") + \dv{SortId{}}("n") ), /* T Fn D Spa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa */ VarS:SortInt{} + /* T Fn D Sfa */ VarN:SortInt{} ) ), /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("n") + \dv{SortId{}}("sum") ), /* T Fn D Spa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa */ VarN:SortInt{} + /* T Fn D Sfa */ VarS:SortInt{} ) ) ) diff --git a/test/regression-c/test-smoke100.sh.out.golden b/test/regression-c/test-smoke100.sh.out.golden index a83048007a..fbcf1fbb33 100644 --- a/test/regression-c/test-smoke100.sh.out.golden +++ b/test/regression-c/test-smoke100.sh.out.golden @@ -303,6 +303,296 @@ Lbl'-LT-'structs'-GT-'{}( /* T Fn D Sfa Cl */ /* InternalMap: */ Lbl'Unds'StructCellMap'Unds'{}( + /* concrete element: */ LblStructCellMapItem{}( + Lbl'-LT-'struct-id'-GT-'{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + \dv{SortString{}}("\x10"), + \dv{SortInt{}}("0") + ) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-id'-GT-'{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}("\x10"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ) + ), + /* T Fn D Sfa Cl */ Lbl'Stop'StructTagCell{}(), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-members'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalList: */ Lbl'Unds'List'Unds'{}( + LblListItem{}( + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortId{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "gp_offset") + ) + ), + Lbl'Unds'List'Unds'{}( + LblListItem{}( + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortId{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "fp_offset") + ) + ), + Lbl'Unds'List'Unds'{}( + LblListItem{}( + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortId{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "overflow_arg_area") + ) + ), + LblListItem{}( + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortId{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "reg_save_area") + ) + ) + ))) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-types'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("overflow_arg_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortQualType{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LParUndsStarRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LPar'void'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ) + ) + ) + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("fp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortQualType{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LPar'unsignedint'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ) + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("gp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortQualType{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LPar'unsignedint'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ) + ) + ), + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("reg_save_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortQualType{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LParUndsStarRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LPar'void'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ) + ) + ) + ) + ) + ))) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-bitfield-sizes'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Stop'Map{}() + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-bitfield-groups'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Stop'Map{}() + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-alignment'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("overflow_arg_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortInt{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("8") + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("fp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortInt{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("4") + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("gp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortInt{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("4") + ) + ), + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("reg_save_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortInt{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("8") + ) + ) + ))) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-bfg-entries'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Stop'Map{}() + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-layout'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-offsets'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("overflow_arg_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("8"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("fp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("4"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) + ), + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("gp_offset") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) + ), + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("reg_save_area") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("16"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) + ) + ))) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-length'-GT-'{}( + /* T Fn D Sfa Cl */ \dv{SortInt{}}("24") + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-align'-GT-'{}( + /* T Fn D Sfa Cl */ \dv{SortInt{}}("8") + ) + ) + ) + ), /* concrete element: */ LblStructCellMapItem{}( Lbl'-LT-'struct-id'-GT-'{}( Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( @@ -541,7 +831,7 @@ /* InternalMap: */ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r8") + \dv{SortId{}}("__reg_rdi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -567,7 +857,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r9") + \dv{SortId{}}("__reg_xmm12") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -585,7 +875,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") + \dv{SortInt{}}("16") ) ) ) @@ -593,7 +883,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm14") + \dv{SortId{}}("__reg_xmm13") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -619,7 +909,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm15") + \dv{SortId{}}("__reg_xmm10") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -645,7 +935,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm12") + \dv{SortId{}}("__reg_xmm11") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -671,7 +961,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm13") + \dv{SortId{}}("__reg_xmm14") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -697,7 +987,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm10") + \dv{SortId{}}("__reg_xmm15") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -723,7 +1013,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm11") + \dv{SortId{}}("__reg_rcx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -741,7 +1031,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16") + \dv{SortInt{}}("8") ) ) ) @@ -749,7 +1039,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdx") + \dv{SortId{}}("__reg_rsi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -775,7 +1065,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm2") + \dv{SortId{}}("__reg_rdx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -793,7 +1083,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16") + \dv{SortInt{}}("8") ) ) ) @@ -801,7 +1091,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm3") + \dv{SortId{}}("__reg_xmm8") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -827,7 +1117,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm0") + \dv{SortId{}}("__reg_xmm9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -853,7 +1143,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm1") + \dv{SortId{}}("__reg_xmm6") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -879,7 +1169,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm6") + \dv{SortId{}}("__reg_xmm7") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -905,7 +1195,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm7") + \dv{SortId{}}("__reg_xmm4") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -931,7 +1221,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdi") + \dv{SortId{}}("__reg_xmm5") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -949,7 +1239,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") + \dv{SortInt{}}("16") ) ) ) @@ -957,7 +1247,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm4") + \dv{SortId{}}("__reg_xmm2") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -983,7 +1273,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm5") + \dv{SortId{}}("__reg_r8") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -1001,7 +1291,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16") + \dv{SortInt{}}("8") ) ) ) @@ -1009,7 +1299,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm8") + \dv{SortId{}}("__reg_xmm3") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -1035,7 +1325,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm9") + \dv{SortId{}}("__reg_r9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -1053,7 +1343,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16") + \dv{SortInt{}}("8") ) ) ) @@ -1061,7 +1351,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rcx") + \dv{SortId{}}("__reg_xmm0") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -1079,14 +1369,14 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") + \dv{SortInt{}}("16") ) ) ) ), /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rsi") + \dv{SortId{}}("__reg_xmm1") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortQualType{}, SortKItem{}}( @@ -1104,7 +1394,7 @@ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") + \dv{SortInt{}}("16") ) ) ) @@ -1127,7 +1417,7 @@ /* InternalMap: */ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r8") + \dv{SortId{}}("__reg_rdi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1138,7 +1428,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r9") + \dv{SortId{}}("__reg_xmm12") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1149,7 +1439,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm14") + \dv{SortId{}}("__reg_xmm13") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1160,7 +1450,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm15") + \dv{SortId{}}("__reg_xmm10") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1171,7 +1461,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm12") + \dv{SortId{}}("__reg_xmm11") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1182,7 +1472,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm13") + \dv{SortId{}}("__reg_xmm14") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1193,7 +1483,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm10") + \dv{SortId{}}("__reg_xmm15") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1204,7 +1494,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm11") + \dv{SortId{}}("__reg_rcx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1215,7 +1505,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdx") + \dv{SortId{}}("__reg_rsi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1226,7 +1516,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm2") + \dv{SortId{}}("__reg_rdx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1237,7 +1527,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm3") + \dv{SortId{}}("__reg_xmm8") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1248,7 +1538,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm0") + \dv{SortId{}}("__reg_xmm9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1259,7 +1549,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm1") + \dv{SortId{}}("__reg_xmm6") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1270,7 +1560,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm6") + \dv{SortId{}}("__reg_xmm7") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1281,7 +1571,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm7") + \dv{SortId{}}("__reg_xmm4") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1292,7 +1582,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdi") + \dv{SortId{}}("__reg_xmm5") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1303,7 +1593,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm4") + \dv{SortId{}}("__reg_xmm2") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1314,7 +1604,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm5") + \dv{SortId{}}("__reg_r8") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1325,7 +1615,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm8") + \dv{SortId{}}("__reg_xmm3") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1336,7 +1626,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm9") + \dv{SortId{}}("__reg_r9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1347,7 +1637,7 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rcx") + \dv{SortId{}}("__reg_xmm0") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1357,7 +1647,7 @@ ), /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rsi") + \dv{SortId{}}("__reg_xmm1") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -1373,133 +1663,21 @@ /* InternalMap: */ Lbl'Stop'Map{}() ), /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-layout'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-offsets'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r8") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("32"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_r9") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("40"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm14") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("272"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm15") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("288"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm12") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("240"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm13") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("256"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm10") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("208"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ) - ) - ), - Lbl'Unds'Map'Unds'{}( + Lbl'-LT-'struct-layout'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'-LT-'struct-offsets'-GT-'{}( + /* T Fn D Sfa Cl */ + /* InternalMap: */ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm11") + \dv{SortId{}}("__reg_rdi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("224"), + \dv{SortInt{}}("0"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1508,14 +1686,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdx") + \dv{SortId{}}("__reg_xmm12") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16"), + \dv{SortInt{}}("240"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1524,14 +1702,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm2") + \dv{SortId{}}("__reg_xmm13") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("80"), + \dv{SortInt{}}("256"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1540,14 +1718,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm3") + \dv{SortId{}}("__reg_xmm10") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("96"), + \dv{SortInt{}}("208"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1556,14 +1734,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm0") + \dv{SortId{}}("__reg_xmm11") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("48"), + \dv{SortInt{}}("224"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1572,14 +1750,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm1") + \dv{SortId{}}("__reg_xmm14") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("64"), + \dv{SortInt{}}("272"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1588,14 +1766,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm6") + \dv{SortId{}}("__reg_xmm15") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("144"), + \dv{SortInt{}}("288"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1604,14 +1782,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm7") + \dv{SortId{}}("__reg_rcx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("160"), + \dv{SortInt{}}("24"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1620,14 +1798,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rdi") + \dv{SortId{}}("__reg_rsi") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0"), + \dv{SortInt{}}("8"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1636,14 +1814,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm4") + \dv{SortId{}}("__reg_rdx") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("112"), + \dv{SortInt{}}("16"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1652,14 +1830,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm5") + \dv{SortId{}}("__reg_xmm8") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("128"), + \dv{SortInt{}}("176"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1668,14 +1846,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm8") + \dv{SortId{}}("__reg_xmm9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("176"), + \dv{SortInt{}}("192"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1684,14 +1862,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_xmm9") + \dv{SortId{}}("__reg_xmm6") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("192"), + \dv{SortInt{}}("144"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1700,272 +1878,94 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rcx") + \dv{SortId{}}("__reg_xmm7") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("24"), + \dv{SortInt{}}("160"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) ), + Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("__reg_rsi") + \dv{SortId{}}("__reg_xmm4") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8"), + \dv{SortInt{}}("112"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) - ) - ))))))))))))))))))))) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-length'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("304") - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-align'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") - ) - ) - ) - ), - /* concrete element: */ LblStructCellMapItem{}( - Lbl'-LT-'struct-id'-GT-'{}( - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - \dv{SortString{}}("\x10"), - \dv{SortInt{}}("0") - ) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-id'-GT-'{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}("\x10"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") - ) - ), - /* T Fn D Sfa Cl */ Lbl'Stop'StructTagCell{}(), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-members'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalList: */ Lbl'Unds'List'Unds'{}( - LblListItem{}( - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortId{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "gp_offset") - ) - ), - Lbl'Unds'List'Unds'{}( - LblListItem{}( - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortId{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "fp_offset") - ) - ), - Lbl'Unds'List'Unds'{}( - LblListItem{}( - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortId{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "overflow_arg_area") - ) - ), - LblListItem{}( - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortId{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "reg_save_area") - ) - ) - ))) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-types'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("fp_offset") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortQualType{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'unsignedint'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("overflow_arg_area") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortQualType{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LParUndsStarRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'void'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ) - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("reg_save_area") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortQualType{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LParUndsStarRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'void'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ) - ) - ), - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("gp_offset") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortQualType{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'unsignedint'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ) - ))) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-bitfield-sizes'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Stop'Map{}() - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-bitfield-groups'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Stop'Map{}() - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-alignment'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("fp_offset") ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("4") - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("overflow_arg_area") + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("__reg_xmm5") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("128"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") - ) - ), - Lbl'Unds'Map'Unds'{}( - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("reg_save_area") + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("__reg_xmm2") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("80"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8") - ) - ), - /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("gp_offset") + Lbl'Unds'Map'Unds'{}( + /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* Inj: */ inj{SortId{}, SortKItem{}}( + \dv{SortId{}}("__reg_r8") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("32"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ) + ) ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("4") - ) - ) - ))) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-bfg-entries'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Stop'Map{}() - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-layout'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'-LT-'struct-offsets'-GT-'{}( - /* T Fn D Sfa Cl */ - /* InternalMap: */ Lbl'Unds'Map'Unds'{}( + Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("fp_offset") + \dv{SortId{}}("__reg_xmm3") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("4"), + \dv{SortInt{}}("96"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1974,14 +1974,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("overflow_arg_area") + \dv{SortId{}}("__reg_r9") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("8"), + \dv{SortInt{}}("40"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -1990,14 +1990,14 @@ Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("reg_save_area") + \dv{SortId{}}("__reg_xmm0") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("16"), + \dv{SortInt{}}("48"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) @@ -2005,28 +2005,28 @@ ), /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortId{}, SortKItem{}}( - \dv{SortId{}}("gp_offset") + \dv{SortId{}}("__reg_xmm1") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortStructOffsetsEntry{}, SortKItem{}}( /* T Fn D Sfa Cl */ LblbyteOffset'ColnUndsComm'bitOffset'ColnUndsUnds'C-TYPE-SPECIFIERS-SYNTAX'Unds'StructOffsetsEntry'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0"), + \dv{SortInt{}}("64"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) ) - ))) + ))))))))))))))))))))) ), /* T Fn D Sfa Cl */ Lbl'-LT-'struct-length'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("24") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("304") ), /* T Fn D Sfa Cl */ Lbl'-LT-'struct-align'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("8") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ) ) @@ -2041,6 +2041,154 @@ Lbl'-LT-'objects'-GT-'{}( /* T Fn D Sfa */ /* InternalMap: */ Lbl'Unds'ObjectCellMap'Unds'{}( + /* concrete element: */ LblObjectCellMapItem{}( + Lbl'-LT-'object-id'-GT-'{}( + Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + \dv{SortString{}}("__func__.main"), + \dv{SortInt{}}("0") + ), + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + ), + \dv{SortInt{}}("2") + ) + ), + /* T Fn D Sfa */ + Lbl'-LT-'object'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-id'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}("__func__.main"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + ) + ), + /* T Fn D Sfa */ + Lbl'-LT-'object-address'-GT-'{}( + /* T Fn D Sfa */ + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}("__func__.main"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + ) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-offset'-GT-'{}( + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-type'-GT-'{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ /* concrete element: */ LblSetItem{}( + /* Inj: */ inj{SortTypeQualifier{}, SortKItem{}}( + Lblconst'Unds'C-TYPE-QUALIFIERS'Unds'TypeQualifier{}() + ) + ), + /* T Fn D Sfa Cl */ + Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ) + ) + ) + ), + Lbl'Unds'ObjectCellMap'Unds'{}( + /* concrete element: */ LblObjectCellMapItem{}( + Lbl'-LT-'object-id'-GT-'{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + \dv{SortString{}}(".str.6d61696e00"), + \dv{SortInt{}}("0") + ), + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + ) + ), + /* T Fn D Sfa */ + Lbl'-LT-'object'-GT-'{}( + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-id'-GT-'{}( + /* T Fn D Sfa Cl */ + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + ) + ), + /* T Fn D Sfa */ + Lbl'-LT-'object-address'-GT-'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + ) + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-offset'-GT-'{}( + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ + Lbl'-LT-'object-type'-GT-'{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LParUndsLSqBUndsRSqBRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ Lbl'Stop'Set{}(), + /* T Fn D Sfa Cl */ + Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + ) + ) + ) + ) + ), + Lbl'Unds'ObjectCellMap'Unds'{}( /* concrete element: */ LblObjectCellMapItem{}( Lbl'-LT-'object-id'-GT-'{}( Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( @@ -2052,7 +2200,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("4") + \dv{SortInt{}}("1") ) ), /* T Fn D Sfa */ @@ -2075,7 +2223,7 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa */ @@ -2095,12 +2243,12 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2126,7 +2274,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("4") + \dv{SortInt{}}("3") ) ), /* T Fn D Sfa */ @@ -2149,7 +2297,7 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa */ @@ -2169,12 +2317,12 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2204,7 +2352,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("3") + \dv{SortInt{}}("1") ) ), /* T Fn D Sfa */ @@ -2227,7 +2375,7 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa */ @@ -2247,12 +2395,12 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2273,16 +2421,13 @@ Lbl'Unds'ObjectCellMap'Unds'{}( /* concrete element: */ LblObjectCellMapItem{}( Lbl'-LT-'object-id'-GT-'{}( - Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - \dv{SortString{}}(".str.6d61696e00"), - \dv{SortInt{}}("0") - ), - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + \dv{SortString{}}("__func__.main"), + \dv{SortInt{}}("0") ), - \dv{SortInt{}}("0") + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ) ), /* T Fn D Sfa */ @@ -2290,22 +2435,17 @@ /* T Fn D Sfa Cl */ Lbl'-LT-'object-id'-GT-'{}( /* T Fn D Sfa Cl */ - Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + \dv{SortString{}}("__func__.main"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ) ), /* T Fn D Sfa */ @@ -2317,7 +2457,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") @@ -2334,7 +2474,20 @@ /* T Fn D Sfa Cl */ /* InternalSet: */ Lbl'Stop'Set{}(), /* T Fn D Sfa Cl */ - Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + Lblt'LParUndsLSqBUndsRSqBRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( + /* T Fn D Sfa Cl */ + /* InternalSet: */ /* concrete element: */ LblSetItem{}( + /* Inj: */ inj{SortTypeQualifier{}, SortKItem{}}( + Lblconst'Unds'C-TYPE-QUALIFIERS'Unds'TypeQualifier{}() + ) + ), + /* T Fn D Sfa Cl */ + Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + ) ) ) ) @@ -2351,7 +2504,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("2") + \dv{SortInt{}}("4") ) ), /* T Fn D Sfa */ @@ -2374,7 +2527,7 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa */ @@ -2394,12 +2547,12 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2429,7 +2582,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("1") + \dv{SortInt{}}("0") ) ), /* T Fn D Sfa */ @@ -2452,117 +2605,34 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ), /* T Fn D Sfa */ Lbl'-LT-'object-address'-GT-'{}( /* T Fn D Sfa */ - Lbl'UndsPlus'Int'Unds'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") - ) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-type'-GT-'{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ) - ), - Lbl'Unds'ObjectCellMap'Unds'{}( - /* concrete element: */ LblObjectCellMapItem{}( - Lbl'-LT-'object-id'-GT-'{}( - Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - \dv{SortString{}}("__func__.main"), - \dv{SortInt{}}("0") - ), - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() - ), - \dv{SortInt{}}("1") - ) - ), - /* T Fn D Sfa */ - Lbl'-LT-'object'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-id'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") - ) - ), - /* T Fn D Sfa */ - Lbl'-LT-'object-address'-GT-'{}( - /* T Fn D Sfa */ - Lbl'UndsPlus'Int'Unds'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( /* T Fn D Sfa Cl */ Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( /* T Fn D Sfa Cl */ - /* InternalSet: */ /* concrete element: */ LblSetItem{}( - /* Inj: */ inj{SortTypeQualifier{}, SortKItem{}}( - Lblconst'Unds'C-TYPE-QUALIFIERS'Unds'TypeQualifier{}() - ) - ), + /* InternalSet: */ Lbl'Stop'Set{}(), /* T Fn D Sfa Cl */ Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ) @@ -2728,7 +2798,7 @@ ), Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - \dv{SortInt{}}("3") + \dv{SortInt{}}("4") ) ), /* T Fn D Sfa */ @@ -2751,93 +2821,32 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") - ) - ), - /* T Fn D Sfa */ - Lbl'-LT-'object-address'-GT-'{}( - /* T Fn D Sfa */ - Lbl'UndsPlus'Int'Unds'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") - ) - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") - ), - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-type'-GT-'{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ) - ) - ) - ), - Lbl'Unds'ObjectCellMap'Unds'{}( - /* concrete element: */ LblObjectCellMapItem{}( - Lbl'-LT-'object-id'-GT-'{}( - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - \dv{SortString{}}(".str.6d61696e00"), - \dv{SortInt{}}("0") - ), - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() - ) - ), - /* T Fn D Sfa */ - Lbl'-LT-'object'-GT-'{}( - /* T Fn D Sfa Cl */ - Lbl'-LT-'object-id'-GT-'{}( - /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa */ - Lbl'-LT-'object-address'-GT-'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lbl'-LT-'object-address'-GT-'{}( + /* T Fn D Sfa */ + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2846,29 +2855,23 @@ /* T Fn D Sfa Cl */ /* InternalSet: */ Lbl'Stop'Set{}(), /* T Fn D Sfa Cl */ - Lblt'LParUndsLSqBUndsRSqBRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ Lbl'Stop'Set{}(), - /* T Fn D Sfa Cl */ - Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") - ) + Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ) ) ) ), /* concrete element: */ LblObjectCellMapItem{}( Lbl'-LT-'object-id'-GT-'{}( - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - \dv{SortString{}}("__func__.main"), - \dv{SortInt{}}("0") + Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + \dv{SortString{}}(".str.6d61696e00"), + \dv{SortInt{}}("0") + ), + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + \dv{SortInt{}}("3") ) ), /* T Fn D Sfa */ @@ -2876,37 +2879,47 @@ /* T Fn D Sfa Cl */ Lbl'-LT-'object-id'-GT-'{}( /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa */ Lbl'-LT-'object-address'-GT-'{}( /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-offset'-GT-'{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ), /* T Fn D Sfa Cl */ Lbl'-LT-'object-type'-GT-'{}( @@ -2915,20 +2928,7 @@ /* T Fn D Sfa Cl */ /* InternalSet: */ Lbl'Stop'Set{}(), /* T Fn D Sfa Cl */ - Lblt'LParUndsLSqBUndsRSqBRParUnds'C-TYPES-SYNTAX'Unds'Type'Unds'QualType'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblqt'LParUndsCommUndsRParUnds'C-TYPES-SYNTAX'Unds'QualType'Unds'Set'Unds'Type{}( - /* T Fn D Sfa Cl */ - /* InternalSet: */ /* concrete element: */ LblSetItem{}( - /* Inj: */ inj{SortTypeQualifier{}, SortKItem{}}( - Lblconst'Unds'C-TYPE-QUALIFIERS'Unds'TypeQualifier{}() - ) - ), - /* T Fn D Sfa Cl */ - Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") - ) + Lblt'LPar'char'RParUnds'C-TYPES-SYNTAX'Unds'Type{}() ) ) ) @@ -2981,16 +2981,20 @@ /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa Cli */ @@ -2999,28 +3003,32 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortObjectId{}, SortAddressId{}}( /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ) ), @@ -3035,7 +3043,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") @@ -3047,7 +3055,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3060,7 +3068,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), @@ -3085,12 +3093,12 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa Cli */ @@ -3099,7 +3107,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3114,17 +3122,17 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ) ), @@ -3146,7 +3154,7 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), /* T Fn D Sfa Cli */ @@ -3177,10 +3185,10 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ) ), @@ -3253,12 +3261,12 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cli */ @@ -3267,7 +3275,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3282,17 +3290,61 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + ) + ) + ), + Lbl'Unds'Map'Unds'{}( + /* element: */ Lbl'UndsPipe'-'-GT-Unds'{}( + /* T Fn D Sfa */ + /* Inj: */ inj{SortInt{}, SortKItem{}}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblexternal'LParUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'Identifier{}( + /* T Fn D Sfa Cl */ + /* Inj: */ inj{SortId{}, SortIdentifier{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "main") + ) + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + ) + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortObjectRepr{}, SortKItem{}}( + /* T Fn D Sfa Cl */ + Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") + ), + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortEntityId{}, SortAddressId{}}( + /* T Fn D Sfa Cl */ + Lblexternal'LParUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'Identifier{}( + /* T Fn D Sfa Cli */ + /* Inj: */ inj{SortId{}, SortIdentifier{}}( + /* T Fn D Sfa Cl */ + \dv{SortId{}}(/* T Fn D Sfa Cl */ + "main") + ) + ) + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) ), @@ -3314,7 +3366,7 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), /* T Fn D Sfa Cli */ @@ -3345,10 +3397,10 @@ /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ) ), @@ -3357,20 +3409,16 @@ /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( /* T Fn D Sfa */ - Lbl'UndsPlus'Int'Unds'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ) ), /* T Fn D Sfa Cli */ @@ -3386,25 +3434,21 @@ /* T Fn D Sfa Cli */ /* Inj: */ inj{SortObjectId{}, SortAddressId{}}( /* T Fn D Sfa Cl */ - Lbl'UndsLSqBUndsRSqBUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'ObjectId'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) ), @@ -3421,7 +3465,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") @@ -3435,7 +3479,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3450,7 +3494,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), @@ -3464,7 +3508,6 @@ ) ) ), - Lbl'Unds'Map'Unds'{}( /* element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( @@ -3477,12 +3520,12 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cli */ @@ -3491,7 +3534,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3506,60 +3549,17 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") - ) - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") - ) - ) - ), - /* element: */ Lbl'UndsPipe'-'-GT-Unds'{}( - /* T Fn D Sfa */ - /* Inj: */ inj{SortInt{}, SortKItem{}}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblexternal'LParUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'Identifier{}( - /* T Fn D Sfa Cl */ - /* Inj: */ inj{SortId{}, SortIdentifier{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "main") - ) - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") - ) - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortObjectRepr{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") - ), - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortEntityId{}, SortAddressId{}}( - /* T Fn D Sfa Cl */ - Lblexternal'LParUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'Identifier{}( - /* T Fn D Sfa Cli */ - /* Inj: */ inj{SortId{}, SortIdentifier{}}( - /* T Fn D Sfa Cl */ - \dv{SortId{}}(/* T Fn D Sfa Cl */ - "main") - ) + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ) ) @@ -3580,66 +3580,66 @@ /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortBufferId{}, SortKItem{}}( Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - \dv{SortInt{}}("6"), + \dv{SortInt{}}("5"), \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ) ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortBytes{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortBytes{}}("\x00\x00\x00\x00\x00") + /* T Fn D Sfa Cl */ \dv{SortBytes{}}("main\x00") ) ), Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortBufferId{}, SortKItem{}}( Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - \dv{SortInt{}}("3"), + \dv{SortInt{}}("2"), \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ) ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortBytes{}, SortKItem{}}( - /* T Fn D Sfa Cl */ \dv{SortBytes{}}("main\x00") + /* T Fn D Sfa Cl */ \dv{SortBytes{}}("\x00") ) ), Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortBufferId{}, SortKItem{}}( Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - \dv{SortInt{}}("5"), + \dv{SortInt{}}("4"), \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ) ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortBytes{}, SortKItem{}}( - /* T Fn D Sfa Cl */ \dv{SortBytes{}}("main\x00") + /* T Fn D Sfa Cl */ + \dv{SortBytes{}}("\x00\x00\x00\x00\x00") ) ), Lbl'Unds'Map'Unds'{}( /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortBufferId{}, SortKItem{}}( Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - \dv{SortInt{}}("4"), + \dv{SortInt{}}("3"), \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ) ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortBytes{}, SortKItem{}}( - /* T Fn D Sfa Cl */ - \dv{SortBytes{}}("\x00\x00\x00\x00\x00") + /* T Fn D Sfa Cl */ \dv{SortBytes{}}("main\x00") ) ), /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}( /* Inj: */ inj{SortBufferId{}, SortKItem{}}( Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - \dv{SortInt{}}("2"), + \dv{SortInt{}}("6"), \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ) ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortBytes{}, SortKItem{}}( - /* T Fn D Sfa Cl */ \dv{SortBytes{}}("\x00") + /* T Fn D Sfa Cl */ + \dv{SortBytes{}}("\x00\x00\x00\x00\x00") ) ) )))) @@ -3670,16 +3670,21 @@ /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa Cli */ @@ -3688,28 +3693,21 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), /* T Fn D Sfa Cli */ /* Inj: */ inj{SortObjectId{}, SortAddressId{}}( /* T Fn D Sfa Cl */ - Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( + Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), + \dv{SortInt{}}("140136535171129"), /* T Fn D Sfa Cl */ - Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() + \dv{SortInt{}}("1") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ) ), @@ -3724,7 +3722,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") @@ -3736,7 +3734,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3749,7 +3747,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), @@ -3774,13 +3772,13 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ), /* T Fn D Sfa Cli */ @@ -3789,7 +3787,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3798,12 +3796,12 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171132"), + \dv{SortInt{}}("140136535171227"), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("4") + \dv{SortInt{}}("3") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) ) ), @@ -3826,7 +3824,7 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), /* T Fn D Sfa Cli */ @@ -3844,12 +3842,12 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171131"), + \dv{SortInt{}}("140136535171130"), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("3") + \dv{SortInt{}}("2") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ) ), @@ -3912,13 +3910,13 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cli */ @@ -3927,7 +3925,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -3936,12 +3934,12 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171130"), + \dv{SortInt{}}("140136535171228"), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("2") + \dv{SortInt{}}("4") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ) ), @@ -3964,7 +3962,7 @@ ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ), /* T Fn D Sfa Cli */ @@ -3982,12 +3980,12 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171228"), + \dv{SortInt{}}("140136535171226"), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("4") + \dv{SortInt{}}("2") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") ) ) ), @@ -3996,21 +3994,16 @@ /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( /* T Fn D Sfa */ - Lbl'UndsPlus'Int'Unds'{}( - /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( + /* T Fn D Sfa Cl */ + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( - /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), - /* T Fn D Sfa Cl */ - \dv{SortInt{}}("0") - ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ) ), /* T Fn D Sfa Cli */ @@ -4026,14 +4019,21 @@ /* T Fn D Sfa Cli */ /* Inj: */ inj{SortObjectId{}, SortAddressId{}}( /* T Fn D Sfa Cl */ - Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( + Lblobj'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'EntityId'Unds'StorageId{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171129"), + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ + \dv{SortInt{}}("0") + ), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("1") + Lblstatic'LParRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'StorageId{}() ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ) ) ), @@ -4050,7 +4050,7 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), @@ -4065,7 +4065,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -4074,7 +4074,7 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171227"), + \dv{SortInt{}}("140136535171131"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("3") ) @@ -4095,13 +4095,13 @@ /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), /* T Fn D Sfa Cl */ - \dv{SortString{}}("__func__.main"), + \dv{SortString{}}(".str.6d61696e00"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ), /* T Fn D Sfa Cli */ @@ -4110,7 +4110,7 @@ Lblobj'LParUndsCommUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectRepr'Unds'BufferId'Unds'AddressId'Unds'Int{}( /* T Fn D Sfa Cl */ Lblbuf'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'BufferId'Unds'Int'Unds'String{}( - /* T Fn D Sfa Cl */ \dv{SortInt{}}("6"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4"), /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895") ), @@ -4119,12 +4119,12 @@ /* T Fn D Sfa Cl */ Lblbyte'LParUndsCommUndsRParUnds'C-STORAGE-DURATION-SYNTAX'Unds'ObjectId'Unds'Int'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortInt{}}("140136535171226"), + \dv{SortInt{}}("140136535171132"), /* T Fn D Sfa Cl */ - \dv{SortInt{}}("2") + \dv{SortInt{}}("4") ) ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("2") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("4") ) ) ) @@ -4153,15 +4153,20 @@ /* T Fn D Sfa */ /* Inj: */ inj{SortInt{}, SortKItem{}}( /* T Fn D Sfa */ - LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( - /* T Fn D Sfa Cl */ - Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + Lbl'UndsPlus'Int'Unds'{}( + /* T Fn D Sfa */ + LbladdressOfEntity'LParUndsCommUndsRParUnds'C-EXECUTION-ADDRESSES-SYNTAX'Unds'Int'Unds'EntityId'Unds'Int{}( /* T Fn D Sfa Cl */ - \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ \dv{SortString{}}("__func__.main"), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( + /* T Fn D Sfa Cl */ + \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), + /* T Fn D Sfa Cl */ + \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") + ), + /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") ), - /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") + /* T Fn D Sfa Cl */ \dv{SortInt{}}("1") ) ), /* T Fn D Sfa */ @@ -4172,8 +4177,7 @@ Lblunique'LParUndsCommUndsCommUndsRParUnds'C-ENTITY-SYNTAX'Unds'EntityId'Unds'String'Unds'String'Unds'Int{}( /* T Fn D Sfa Cl */ \dv{SortString{}}("84e8abe9-1a66-4e60-892a-3db801dd3895"), - /* T Fn D Sfa Cl */ - \dv{SortString{}}(".str.6d61696e00"), + /* T Fn D Sfa Cl */ \dv{SortString{}}("__func__.main"), /* T Fn D Sfa Cl */ \dv{SortInt{}}("0") ), /* T Fn D Sfa Cl */ \dv{SortInt{}}("5") diff --git a/test/rpc-server/Makefile b/test/rpc-server/Makefile index 1d6f755ab1..708b555ece 100644 --- a/test/rpc-server/Makefile +++ b/test/rpc-server/Makefile @@ -13,3 +13,6 @@ clean: ; build-test: ; .PHONY: test test-k clean build-test + +golden: RECREATE_BROKEN_GOLDEN = true +golden: test diff --git a/test/simplification/Makefile b/test/simplification/Makefile index 3c90844db8..2c22db694a 100644 --- a/test/simplification/Makefile +++ b/test/simplification/Makefile @@ -9,4 +9,4 @@ a-spec.k.out: a-spec.k simplification.k $(TEST_DEPS) @echo ">>>" $(CURDIR) "kprove" $< rm -f $@ $(KPROVE) $(KPROVE_OPTS) $(KPROVE_SPEC) 1> /dev/null 2> $@ || true - grep -q "equation is not applicable" $@ && rm $@ || mv $@ $@.fail + grep -q "equation is not applicable" $@ && echo "OK" > $@ || mv $@ $@.fail diff --git a/test/simplification/a-spec.k.out.golden b/test/simplification/a-spec.k.out.golden index e69de29bb2..d86bac9de5 100644 --- a/test/simplification/a-spec.k.out.golden +++ b/test/simplification/a-spec.k.out.golden @@ -0,0 +1 @@ +OK