May 2012 - cffi-devel - mailman3.common-lisp.net

[cffi-devel] CFFI from git bug with :int64 struct fields?
by Alistair Gee 07 Nov '12

07 Nov '12

When using latest CFFI via clbuild2 (git:// common-lisp.net/projects/cffi/cffi.git) I encountered a problem with :int64 fields. CFFI seems to treat this field as (signed-byte 32). This is with SBCL x86-64 on Ubuntu 10.10: This is SBCL 1.0.55.1-6548750, an implementation of ANSI Common Lisp. More information about SBCL is available at <http://www.sbcl.org/>. SBCL is free software, provided as is, with absolutely no warranty. It is mostly in the public domain; some portions are provided under BSD-style licenses. See the CREDITS and COPYING files in the distribution for more information. * (require :cffi) NIL * (cffi:defcstruct foo (a :int64)) FOO * (cffi:with-foreign-object (foo 'foo) (setf (cffi:foreign-slot-value foo 'foo 'a) 123456789012345)) ; in: CFFI:WITH-FOREIGN-OBJECT (FOO 'FOO) ; (SETF (CFFI:FOREIGN-SLOT-VALUE FOO 'FOO 'A) 123456789012345) ; --> LET* MULTIPLE-VALUE-BIND LET PROGN CFFI::FOREIGN-SLOT-SET SETF LET* ; --> MULTIPLE-VALUE-BIND LET PROGN CFFI::MEM-SET CFFI-SYS:%MEM-SET LET SETF ; ==> ; (SB-KERNEL:%SET-SIGNED-SAP-REF-32 FOO 0 #:VALUE14) ; ; caught WARNING: ; Derived type of #:VALUE14 is ; (VALUES (INTEGER 123456789012345 123456789012345) &OPTIONAL), ; conflicting with its asserted type ; (SIGNED-BYTE 32). ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 1 WARNING condition debugger invoked on a SIMPLE-TYPE-ERROR in thread #<THREAD "initial thread" RUNNING {10029B97C3}>: Value of #:VALUE14 in (SB-KERNEL:%SET-SIGNED-SAP-REF-32 FOO 0 #:VALUE14) is 123456789012345, not a (SIGNED-BYTE 32). Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [ABORT] Exit debugger, returning to top level. (SB-C::%COMPILE-TIME-TYPE-ERROR (123456789012345) (SIGNED-BYTE 32) #<unavailable argument> ((SB-KERNEL:%SET-SIGNED-SAP-REF-32 FOO 0 #:VALUE14) . #:VALUE14)) 0] 0

3 4

[cffi-devel] cffi-libffi funcall path and :string
by Ryan Pavlik 07 Jun '12

07 Jun '12

For functions using the libffi foreign-funcall path, functions defined with :string parameters still fail because TRANSLATE-INTO-FOREIGN-MEMORY is not defined on FOREIGN-STRING-TYPE. E.g., (defcfun ("xcb_intern_atom" xcb-intern-atom) (:struct xcb-intern-atom-cookie-t) (c :pointer) (only_if_exists :unsigned-char) (name_len :unsigned-short) (name :string)) Calling this fails: There is no applicable method for the generic function #<STANDARD-GENERIC-FUNCTION TRANSLATE-INTO-FOREIGN-MEMORY (5)> when called with arguments (#.(SB-SYS:INT-SAP #X7FFFD8000DC0) #<CFFI::FOREIGN-STRING-TYPE :UTF-8> #.(SB-SYS:INT-SAP #X7FFFECDB7FD8)). [Condition of type SIMPLE-ERROR] This is using unmodified master. -- Ryan Pavlik <rpavlik(a)gmail.com> 425.220.9585

3 5

[cffi-devel] problem with include-path in cffi-grovel on windows
by Karl Heinrichmeyer 19 May '12

19 May '12

Hello, The groveler has a problem with the include path when calling the c-compiler on windows. This is because it uses the (directory-namestring) function to get the directory where cffi is installed and thus the device specifier is missing. I reported a bug and attached a patch to it. The patch is using a small lib i wrote to solve; I couldn't find an easy way to do it with ANSI CL (this may be my fault). The patch seem to solve the problem (windows7-64 and ccl-1.8), but I couldn't test it to a great extend. This is because I found the but by trying to use osicat which now seems to be broken with the latest git version. Is there any package that uses the groveler and should work on windows so that I can test the fix? I would love to hear your opinions on the patch and the lib and hope it will be helpful. Best regards, Karl

2 3

[cffi-devel] Round trips through parse-type, unparse-type
by Liam Healy 11 May '12

11 May '12

I just pushed fixes to make the FSBV tests pass. One fix was to the recursive call to libffi-type-pointer that took the slot-type directly, already unparsed, and tried to unparse it. I fixed that by parsing it again. In the course of debugging this, I found this comment in defclass foreign-struct-slot ;; FIXME: the type should probably be parsed? I briefly investigated doing this, and decided to take the expedient route for now. However, this comment got me to thinking that there are a lot of (unnecessary) round trips through parse-type/unparse-type. It seems to me that they could be eliminated or reduced. Perhaps as a design philosophy, we should only have parsed types internally, and then we won't need unparse-type at all? Changing this would be a lot of work, I realize. Liam

2 3

[cffi-devel] Cannot load cffi-tests
by Liam Healy 04 May '12

04 May '12

I cannot load cffi-tests (from the master branch). I am on Ubuntu 11.10 amd64. I can't even make sense of what the error is; it can't compile libtest.c? Liam This is SBCL 1.0.51.34-43a5265, an implementation of ANSI Common Lisp. More information about SBCL is available at <http://www.sbcl.org/>. SBCL is free software, provided as is, with absolutely no warranty. It is mostly in the public domain; some portions are provided under BSD-style licenses. See the CREDITS and COPYING files in the distribution for more information. CL-USER(1): (ql:quickload "cffi-tests") To load "cffi-tests": Load 1 ASDF system: cffi-tests ; Loading "cffi-tests" .................................................. [package cffi-features] debugger invoked on a ASDF:OPERATION-ERROR in thread #<THREAD "initial thread" RUNNING {1002F81371}>: Error while invoking #<COMPILE-OP (:VERBOSE NIL) {1003900621}> on #<C-TEST-LIB "cffi-tests" "tests" "libtest"> Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [RETRY ] Retry compiling #<C-TEST-LIB "cffi-tests" "tests" "libtest">. 1: [ACCEPT] Continue, treating compiling #<C-TEST-LIB "cffi-tests" "tests" "libtest"> as having been successful. 2: [ABORT ] Give up on "cffi-tests" 3: Exit debugger, returning to top level. ((SB-PCL::FAST-METHOD ASDF:PERFORM (ASDF:COMPILE-OP CFFI-TESTS-SYSTEM::C-TEST-LIB)) #<unavailable argument> #<unavailable argument> #<ASDF:COMPILE-OP (:VERBOSE NIL) {1003900621}> #<CFFI-TESTS-SYSTEM::C-TEST-LIB "cffi-tests" "tests" "libtest">) 0] :ba 0: ((SB-PCL::FAST-METHOD ASDF:PERFORM (ASDF:COMPILE-OP CFFI-TESTS-SYSTEM::C-TEST-LIB)) #<unavailable argument> #<unavailable argument> #<ASDF:COMPILE-OP (:VERBOSE NIL) {1003900621}> #<CFFI-TESTS-SYSTEM::C-TEST-LIB "cffi-tests" "tests" "libtest">) 1: ((SB-PCL::EMF ASDF:PERFORM) #<unavailable argument> #<unavailable argument> #<ASDF:COMPILE-OP (:VERBOSE NIL) {1003900621}> #<CFFI-TESTS-SYSTEM::C-TEST-LIB "cffi-tests" "tests" "libtest">) 2: ((LAMBDA ())) 3: ((FLET SB-THREAD::WITH-RECURSIVE-LOCK-THUNK)) 4: ((FLET #:WITHOUT-INTERRUPTS-BODY-[CALL-WITH-RECURSIVE-LOCK]333)) 5: (SB-THREAD::CALL-WITH-RECURSIVE-LOCK #<CLOSURE (FLET SB-THREAD::WITH-RECURSIVE-LOCK-THUNK) {7FFFF69AEC09}> #<SB-THREAD:MUTEX "World Lock" owner: #<SB-THREAD:THREAD "initial thread" RUNNING {1002F81371}>>) 6: ((FLET SB-C::WITH-IT)) 7: ((SB-PCL::FAST-METHOD ASDF::PERFORM-PLAN (LIST)) #<unused argument> #<unused argument> ((#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "package">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "definitions">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "binding">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "strings">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "conditions">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "hash-tables">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "symbols">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "macros">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "functions">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "lists">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "io">) (#<ASDF:LOAD-OP (:VERBOSE NIL) {10041368E1}> . #<ASDF:CL-SOURCE-FILE "alexandria" "control-flow">) ...)) 8: ((LAMBDA ())) 9: (ASDF::CALL-WITH-SYSTEM-DEFINITIONS #<CLOSURE (LAMBDA #) {10038DFA29}>) 10: ((SB-PCL::FAST-METHOD ASDF:OPERATE (T T)) #<unused argument> #<unused argument> ASDF:LOAD-OP "cffi-tests" :VERBOSE NIL) 11: ((SB-PCL::EMF ASDF:OPERATE) #<unused argument> #<unused argument> ASDF:LOAD-OP "cffi-tests" :VERBOSE NIL) 12: (QUICKLISP-CLIENT::CALL-WITH-MACROEXPAND-PROGRESS #<CLOSURE (LAMBDA #) {10038DF939}>) 13: (QUICKLISP-CLIENT::AUTOLOAD-SYSTEM-AND-DEPENDENCIES "cffi-tests" :PROMPT NIL) 14: ((SB-PCL::FAST-METHOD QL-IMPL-UTIL::%CALL-WITH-QUIET-COMPILATION (T T)) #<unavailable argument> #<unavailable argument> #<unavailable argument> #<CLOSURE (FLET QUICKLISP-CLIENT::QL) {10033AD129}>) 15: ((SB-PCL::FAST-METHOD QL-IMPL-UTIL::%CALL-WITH-QUIET-COMPILATION :AROUND (QL-IMPL:SBCL T)) #<unavailable argument> #S(SB-PCL::FAST-METHOD-CALL :FUNCTION #<FUNCTION #> :PV NIL :NEXT-METHOD-CALL NIL :ARG-INFO (2)) #<QL-IMPL:SBCL {10005F8BB1}> #<CLOSURE (FLET QUICKLISP-CLIENT::QL) {10033AD129}>) 16: ((SB-PCL::FAST-METHOD QUICKLISP-CLIENT:QUICKLOAD (T)) #<unused argument> #<unused argument> #<unavailable argument> :PROMPT NIL :VERBOSE NIL) 17: (QL-DIST::CALL-WITH-CONSISTENT-DISTS #<CLOSURE (LAMBDA #) {1003394369}>) 18: (SB-INT:SIMPLE-EVAL-IN-LEXENV (QUICKLISP-CLIENT:QUICKLOAD "cffi-tests") #<NULL-LEXENV>) 19: (EVAL (QUICKLISP-CLIENT:QUICKLOAD "cffi-tests")) 20: (INTERACTIVE-EVAL (QUICKLISP-CLIENT:QUICKLOAD "cffi-tests") :EVAL NIL) 21: (SB-ACLREPL::REP-ONE) 22: (SB-ACLREPL::REPL :BREAK-LEVEL 0 :NOPRINT NIL :INSPECT NIL :CONTINUABLE NIL) 23: ((LAMBDA (SB-ACLREPL::NOPRINT)) NIL) 24: ((LAMBDA ())) 25: (SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<CLOSURE (LAMBDA #) {10032B0079}>) 26: (SB-IMPL::TOPLEVEL-REPL NIL) 27: (SB-IMPL::TOPLEVEL-INIT) 28: ((FLET #:WITHOUT-INTERRUPTS-BODY-[RESTART-LISP]38)) 29: ((LABELS SB-IMPL::RESTART-LISP)) 0]

2 3

[cffi-devel] Next release of CFFI with cffi-libffi
by Liam Healy 01 May '12

01 May '12

The system cffi-libffi allows calling functions with structures passed and returned by value. The cffi-libffi branch has been merged into master. Because bare structure reference is deprecated, the merge affects a lot code using CFFI, not just those calling functions with structures by value. Expect to see many style warnings in code that refers to bare structure names. Please test and report successes/problems. We hope to have a new release of CFFI soon. See blog: http://lhealy.livejournal.com/2012/04/14/ Thank you. Liam

9 25

[cffi-devel] Recent library breakage
by Zach Beane 01 May '12

01 May '12

fnv (from git://github.com/blindglobe/fnv.git) used to build, but as of today I get this full warning: ; caught WARNING: ; Defining a foreign type named :COMPLEX-DOUBLE. This symbol ; belongs to the KEYWORD package and that may interfere with other ; code using CFFI. I'm using CFFI 0.10.7.1 on SBCL. What should be done to fix it? Thanks, Zach

4 5

[cffi-devel] *parse-bare-structs-as-pointers*
by Stelian Ionescu 01 May '12

01 May '12

Dow we really need *parse-bare-structs-as-pointers* ? It's only used in one place(parse-deprecated-struct-type) and IMO it's useless: we should parse bare structs as pointers unconditionally and issue a warning that it's deprecated and will be removed on 2013-05-01 -- Stelian Ionescu a.k.a. fe[nl]ix Quidquid latine dictum sit, altum videtur. http://common-lisp.net/project/iolib

2 1