spatch: fix Linux's typedef coccis
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 27 Sep 2019 16:29:48 +0000 (12:29 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 8 Oct 2019 21:11:10 +0000 (17:11 -0400)
You need to tell spatch about typedefs that aren't part of C.  'int' is
fine.  'uint32_t' is not.  I'm not sure if this worked before, or if
more recent versions of spatch started to fail for it.  The Plan 9
cocci files were fine.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
scripts/spatch/linux/scalar.cocci

index d8dd3cb..7df8941 100644 (file)
@@ -34,6 +34,7 @@ typedef uint64_t;
 
 @@
 typedef cycle_t;
+typedef uint64_t;
 @@
 -cycle_t
 +uint64_t
@@ -74,12 +75,14 @@ typedef uint;
 
 @@
 typedef __sum16;
+typedef uint16_t;
 @@
 -__sum16
 +uint16_t
 
 @@
 typedef __wsum;
+typedef uint32_t;
 @@
 -__wsum
 +uint32_t