mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
0a9619bf83
Unwrapping an array of structs is meant to take the ownership share for these structs, and thus to clear them. This means that the destructor of Python wrappers for structs must handle the case where they no longer have the ownership of a struct value: they didn't so far, which triggered crashes. TN: UA05-027
8 lines
780 B
Plaintext
8 lines
780 B
Plaintext
p_example_holder = [<ExampleHolder examples=[<Example test:1:1-1:8>]>]
|
|
p_identity([]) = []
|
|
p_identity([<ExampleHolder examples=[]>]) = [<ExampleHolder examples=[]>]
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>]>]
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>]
|
|
p_identity([<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>, <ExampleHolder examples=[<Example test:1:1-1:8>]>, <ExampleHolder examples=[]>]) = [<ExampleHolder examples=[<Example test:1:1-1:8>, <Example test:1:1-1:8>]>, <ExampleHolder examples=[<Example test:1:1-1:8>]>, <ExampleHolder examples=[]>]
|
|
Done
|