@r@
expression e1,e2;
position p;
@@

(
fn32(e1, \(sizeof(u32)\|4\) )
|
fn32@p(e1, e2)
)

@script:python@
p << r.p;
@@

print "dangerous second argument in %s:%s" % (p[0].file,p[0].line)

@@ identifier tmp; expression ptr; expression y,e; type T; @@

- tmp = cpu_to_le32(y);

  <+... when != tmp
(
- memcpy(ptr, (T)&tmp, \(sizeof(u32)\|4\));
|
- memcpy@p(ptr, (T)&tmp, ...);
)
+ put_unaligned_le32(y,ptr);
  ...+>
? tmp = e

@@ type T; identifier tmp; @@

- T tmp;
...when != tmp