C6295 Infinite loop Ill-defined for-loop: 'unsigned char' values are always of range '0' to '255'. Loop executes infinitely. Laptop mercs.cpp 3079

C6289 Mutual exclusion over logical-OR is true Incorrect operator: mutual exclusion over || is always a non-zero constant. Did you intend to use && instead? Strategic luainitnpcs.cpp 11932

C6255 Unprotected use of alloca _alloca indicates failure by raising a stack overflow exception. Consider using _malloca instead. SGP sgp.cpp 1862

C6385 Read overrun Reading invalid data from 's->bl_count': the readable size is '32' bytes, but 'bits' bytes may be read. zlib trees.c 552
Enter this loop, (assume 'h<((2*((256+1+29))+1))') 512
Enter this branch, (assume 'bits>max_length') 515
Skip this branch, (assume 'n>max_code' is false) 519
Skip this branch, (assume 'n>=base' is false) 523
Skip this branch, (assume 'stree' is false) 526
Exit this loop, ('h<((2*((256+1+29))+1))' is false) 512
Skip this branch, (assume 'overflow==0' is false) 528
Skip this loop, (assume 'overflow>0' is false) 544
'bits' may be NULL (Enter this loop) 551
Invalid read from 's->bl_count[-1]', (readable range is 0 to 15) 552

C6385 Read overrun Reading invalid data from 's->bl_count': the readable size is '32' bytes, but '-2' bytes may be read. zlib trees.c 536
Enter this loop, (assume 'h<((2*((256+1+29))+1))') 512
Enter this branch, (assume 'bits>max_length') 515
(alias) 'bits' receives the value of 'max_length' 515
Skip this branch, (assume 'n>max_code' is false) 519
Skip this branch, (assume 'n>=base' is false) 523
Skip this branch, (assume 'stree' is false) 526
Exit this loop, ('h<((2*((256+1+29))+1))' is false) 512
Skip this branch, (assume 'overflow==0' is false) 528
Enter this loop, (assume 's->bl_count[bits]==0') 536
Invalid read from 's->bl_count[-1]', (readable range is 0 to 15) 536