[Cocci] Whitespace Issue When Adding "!!"

[Cocci] Whitespace Issue When Adding "!!"

[Michael Stefaniuc]

[-- Attachment #1: Type: text/plain, Size: 125 bytes --]

Hello,

when adding a "!!" the generated diff will have "! !".
Test case and results are attached.

thanks
bye
       michael

[-- Attachment #2: notnot.c --]
[-- Type: text/plain, Size: 53 bytes --]

bool foo(int bar)
{
    return bar ? true : false;
}

[-- Attachment #3: notnot.cocci --]
[-- Type: text/plain, Size: 48 bytes --]

@@
expression E;
@@
+ !!
  E
-   ? true : false

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #4: notnot.res --]
[-- Type: text/x-diff; name=notnot.res, Size: 155 bytes --]

--- /tmp/notnot.c
+++ /tmp/cocci-output-18828-5323c2-notnot.c
@@ -1,4 +1,4 @@
 bool foo(int bar)
 {
-    return bar ? true : false;
+    return ! !bar;
 }

[-- Attachment #5: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Whitespace Issue When Adding "!!"

[Julia Lawall]

On Fri, 1 Feb 2019, Michael Stefaniuc wrote:

> Hello,
>
> when adding a "!!" the generated diff will have "! !".
> Test case and results are attached.

This should be fixed now.  Thanks for the report.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci