Home Library Learn Samples Downloads Support Community Forums
MSDN Library
Development Tools and Languages
Visual Studio 2012
Application Development in Visual Studio
Quality and Diagnostic Tools
Analyzing Application Quality
Analyzing C/C++ Code Quality
Code Analysis for C/C++ Warnings
C1250
C1251
C1252
C1253
C1254
C1255
C1256
C1257
C6001
C6011
C6014
C6029
C6031
C6053
C6054
C6059
C6063
C6064
C6066
C6067
C6101
C6200
C6201
C6211
C6214
C6215
C6216
C6217
C6219
C6220
C6221
C6225
C6226
C6230
C6235
C6236
C6237
C6239
C6240
C6242
C6244
C6246
C6248
C6250
C6255
C6258
C6259
C6260
C6262
C6263
C6268
C6269
C6270
C6271
C6272
C6273
C6274
C6276
C6277
C6278
C6279
C6280
C6281
C6282
C6283
C6284
C6285
C6286
C6287
C6288
C6289
C6290
C6291
C6292
C6293
C6294
C6295
C6296
C6297
C6298
C6299
C6302
C6303
C6305
C6306
C6308
C6310
C6312
C6313
C6314
C6315
C6316
C6317
C6318
C6319
C6320
C6322
C6323
C6324
C6326
C6328
C6329
C6330
C6331
C6332
C6333
C6334
C6335
C6336
C6340
C6381
C6383
C6384
C6385
C6386
C6387
C6388
C6400
C6401
C6411
C6412
C6500
C6501
C6503
C6504
C6505
C6506
C6508
C6509
C6510
C6511
C6513
C6514
C6515
C6516
C6517
C6518
C6522
C6525
C6527
C6530
C6540
C6551
C6552
C6701
C6702
C6703
C6704
C6705
C6706
C6707
C6995
C26100
C26101
C26105
C26110
C26111
C26112
C26115
C26116
C26117
C26130
C26135
C26140
C26160
C26165
C26166
C26167
C28020
C28021
C28022
C28023
C28024
C28039
C28103
C28104
C28105
C28106
C28107
C28108
C28109
C28112
C28113
C28125
C28137
C28138
C28159
C28160
C28163
C28164
C28182
C28183
C28193
C28194
C28195
C28196
C28197
C28198
C28199
C28202
C28203
C28204
C28205
C28206
C28207
C28208
C28209
C28210
C28211
C28212
C28213
C28214
C28215
C28216
C28217
C28218
C28219
C28220
C28221
C28222
C28223
C28224
C28225
C28226
C28227
C28228
C28229
C28230
C28231
C28232
C28233
C28234
C28235
C28236
C28237
C28238
C28239
C28240
C28241
C28243
C28244
C28245
C28246
C28250
C28251
C28252
C28253
C28254
C28262
C28263
C28267
C28272
C28273
C28275
C28278
C28279
C28280
C28282
C28283
C28284
C28285
C28286
C28287
C28288
C28289
C28290
C28291
C28300
C28301
C28302
C28303
C28304
C28305
C28306
C28307
C28308
C28309
C28350
C28351
Expand Minimize
0 out of 1 rated this helpful - Rate this topic

C6509

Visual Studio 2012

warning C6509: invalid annotation: 'return' cannot be referenced from a precondition

This warning indicates that the return keyword cannot be used in a precondition. The return keyword is used to terminate the execution of a function and return control to the calling function.

The following code generates this warning because return is used in a precondition:

C++
Copy 
#include <sal.h>

int f (_In_reads_(return) char *pc)
{
    // code ...
    return 1;
}

To correct this warning, use the following code:

C++
Copy 
#include <sal.h>

int f (_In_reads_(i) char *pc, int i)
{
    // code ...
    return 1;
}
Did you find this helpful?
(1500 characters remaining)
© 2013 Microsoft. All rights reserved.