SAL

NTDEV
1

Hi everyone,
In my understanding SAL(source annotation language) is implemented
with set of macros , these macros use __declspec modifier , for
example ,
#define __ANNOTATION(fun) __declspec(“SAL_annotation”) void _SA##fun
but I can’t find this kind of usage here
http://msdn.microsoft.com/en-us/library/dabb5z75(v=VS.80).aspx
could someone explain this for me ? Many thanks.

2

It is an internal implementation detail. Why do you ask? File a bug on that page using the feedback link if you think it should reflect the sal usage

d

debt from my phone

From: yushang
Sent: 9/30/2011 11:09 PM
To: Windows System Software Devs Interest List
Subject: [ntdev] SAL

Hi everyone,
In my understanding SAL(source annotation language) is implemented
with set of macros , these macros use __declspec modifier , for
example ,
#define __ANNOTATION(fun) __declspec(“SAL_annotation”) void _SA##fun
but I can’t find this kind of usage here
http://msdn.microsoft.com/en-us/library/dabb5z75(v=VS.80).aspx
could someone explain this for me ? Many thanks.

NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at http://www.osronline.com/page.cfm?name=ListServer

3

I just try it in my code but got C2059 error , this kind of __declspec
usage is supported by a special cl ?

2011/10/1 Doron Holan :
> It is an internal implementation detail. Why do you ask? File a bug on that
> page using the feedback link if you think it should reflect the sal usage
>
> d
>
> debt from my phone
> ________________________________
> From: yushang
> Sent: 9/30/2011 11:09 PM
> To: Windows System Software Devs Interest List
> Subject: [ntdev] SAL
>
> Hi everyone,
> In my understanding SAL(source annotation language) is implemented
> with set of macros , these macros use__declspec modifier , for
> example ,
> #define __ANNOTATION(fun) __declspec(“SAL_annotation”) void
> _SA##fun
> but I can’t find this kind of usage here
> http://msdn.microsoft.com/en-us/library/dabb5z75(v=VS.80).aspx
> could someone explain this for me ? Many thanks.
>
> —
> NTDEV is sponsored by OSR
>
> For our schedule of WDF, WDM, debugging and other seminars visit:
> http://www.osr.com/seminars
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer
>
>
> —
> NTDEV is sponsored by OSR
>
> For our schedule of WDF, WDM, debugging and other seminars visit:
> http://www.osr.com/seminars
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer

4

Are you using vs? Which version? Are you attempting to run code analysis?

d

debt from my phone

From: yushang
Sent: 10/1/2011 12:50 AM
To: Windows System Software Devs Interest List
Subject: Re: [ntdev] SAL

I just try it in my code but got C2059 error , this kind of __declspec
usage is supported by a special cl ?

2011/10/1 Doron Holan :
> It is an internal implementation detail. Why do you ask? File a bug on that
> page using the feedback link if you think it should reflect the sal usage
>
> d
>
> debt from my phone
> ________________________________
> From: yushang
> Sent: 9/30/2011 11:09 PM
> To: Windows System Software Devs Interest List
> Subject: [ntdev] SAL
>
> Hi everyone,
> In my understanding SAL(source annotation language) is implemented
> with set of macros , these macros use__declspec modifier , for
> example ,
> #define __ANNOTATION(fun)__declspec(“SAL_annotation”) void
> _SA##fun
> but I can’t find this kind of usage here
> http://msdn.microsoft.com/en-us/library/dabb5z75(v=VS.80).aspx
> could someone explain this for me ? Many thanks.
>
> —
> NTDEV is sponsored by OSR
>
> For our schedule of WDF, WDM, debugging and other seminars visit:
> http://www.osr.com/seminars
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer
>
>
> —
> NTDEV is sponsored by OSR
>
> For our schedule of WDF, WDM, debugging and other seminars visit:
> http://www.osr.com/seminars
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer

—
NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at http://www.osronline.com/page.cfm?name=ListServer