FFI: Fix recording of pointer arithmetic.
treeb4a38d35d491c87b66b638246007bf65cc208571
-rw-r--r-- 71 .gitignore
-rw-r--r-- 2932 COPYRIGHT
-rw-r--r-- 4859 Makefile
-rw-r--r-- 455 README
drwxr-xr-x - doc
drwxr-xr-x - dynasm
drwxr-xr-x - etc
drwxr-xr-x - lib
drwxr-xr-x - src