Bug in ddk headers when used from cygwin

[Charles Wilson]

Recompiling getVolInfo (part of the csih package) with latest cygwin 
(32bit) toolchain:

gcc -ggdb -O2 -pipe 
-fdebug-prefix-map=/usr/src/packages/csih/csih-0.9.6-2/build=/usr/src/debug/csih-0.9.6-2 
-fdebug-prefix-map=/usr/src/packages/csih/csih-0.9.6-2/src/csih-0.9.6=/usr/src/debug/csih-0.9.6-2 
-I/usr/include/w32api -I/usr/include/w32api/ddk   -c -o getVolInfo.o 
getVolInfo.c
In file included from /usr/include/w32api/ddk/ntddk.h:38:0,
                  from /usr/include/w32api/ddk/ntifs.h:34,
                  from getVolInfo.c:30:
/usr/include/w32api/ddk/wdm.h:68:20: fatal error: intrin.h: No such file 
or directory
compilation terminated.



getVolInfo is a cygwin program that uses some w32api stuff under the 
hood.  It includes ntifs.h, which include ntddk.h, whch in turn include 
wdm.h, which (tries to) include intrin.h.

But intrin.h is only shipped in the mingw(64) compiler toolchains.  So 
this looks like a bug: if the w32api header files for cygwin refer to a 
separate header file that is not included as part of that toolchain's 
installation footprint...

Any suggestions for a fix?

--
Chuck



--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple