diff for duplicates of <4F1AC567.1000805@gmx.de> diff --git a/a/1.txt b/N1/1.txt index 909c2e9..ee1ab05 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -42,7 +42,8 @@ On 01/20/2012 09:25 PM, Julia Lawall wrote: > > type ret = UseReturned | UseReturned2 of string | UseArg | UseGet > -> let add pfn rfn alloc free devm_alloc file rule > let it = new iteration() in +> let add pfn rfn alloc free devm_alloc file rule = +> let it = new iteration() in > it#set_files [file]; > it#add_virtual_rule After_start; > (if !drop_labels then it#add_virtual_rule Drop_labels); @@ -181,7 +182,8 @@ On 01/20/2012 09:25 PM, Julia Lawall wrote: > | > - second_free@p5(...); > | -> x > - alloc@p1( +> x = +> - alloc@p1( > + devm_alloc(&pdev->dev, > args) > | @@ -393,7 +395,8 @@ On 01/20/2012 09:25 PM, Julia Lawall wrote: > > pfn(...) { <... > + return -> - ret > e; +> - ret = +> e; > - return ret; > ...> } > @@ -404,7 +407,8 @@ On 01/20/2012 09:25 PM, Julia Lawall wrote: > > rfn(...) { <... > + return -> - ret > e; +> - ret = +> e; > - return ret; > ...> } > diff --git a/a/content_digest b/N1/content_digest index 1ffe50b..c41aa8a 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -53,7 +53,8 @@ "> \n" "> type ret = UseReturned | UseReturned2 of string | UseArg | UseGet\n" "> \n" - "> let add pfn rfn alloc free devm_alloc file rule > let it = new iteration() in\n" + "> let add pfn rfn alloc free devm_alloc file rule =\n" + "> let it = new iteration() in\n" "> it#set_files [file];\n" "> it#add_virtual_rule After_start;\n" "> (if !drop_labels then it#add_virtual_rule Drop_labels);\n" @@ -192,7 +193,8 @@ "> |\n" "> - second_free@p5(...);\n" "> |\n" - "> x > - alloc@p1(\n" + "> x =\n" + "> - alloc@p1(\n" "> + devm_alloc(&pdev->dev,\n" "> args)\n" "> |\n" @@ -404,7 +406,8 @@ "> \n" "> pfn(...) { <...\n" "> + return\n" - "> - ret > e;\n" + "> - ret =\n" + "> e;\n" "> - return ret;\n" "> ...> }\n" "> \n" @@ -415,7 +418,8 @@ "> \n" "> rfn(...) { <...\n" "> + return\n" - "> - ret > e;\n" + "> - ret =\n" + "> e;\n" "> - return ret;\n" "> ...> }\n" "> \n" @@ -467,4 +471,4 @@ "> \n" > -bc58c39a1056ea39e730a1af9c5338da978a1a7fad09402dcb8ac4c942ed7d69 +d28d3ab410cbade1de0f08823d15fde5f7aa0a9b15409ea39bbe0de48ac5fdcb
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.