Contents

Get Link | Sync TOC | << | >>

Static Analysis Problem Type Reference

Legal Information

Introduction

ALLOCATABLE array referenced before allocation

Argument corresponding to * for width or precision value should be type int

Argument count mismatch

Argument count mismatch at call to intrinsic function

Argument is not a pointer

Argument type mismatch at call to intrinsic function

Array parameter element size mismatch

Array parameter rank mismatch

Array parameter shape mismatch

Attempt to violate exception specification

Bad format flags

Base class has non-virtual destructor

Base class lacks destructor

Big parameter passed by value

Bounds violation

Buffer overflow through pointer

C library routine violates C++ object semantics

Chunk_size in OpenMP* SCHEDULE clause has side-effects

Chunk_size in OpenMP* SCHEDULE clause not loop-invariant

Class has virtual member functions but no derived classes

COMMON block is partly OpenMP* THREADPRIVATE

Conditional OpenMP* BARRIER

Data race

Data race from cilk_for

Data race from cilk_spawn

Destructor contains non-empty exception specification

Divide by zero

Double free

Duplicate subroutine definition

Exception thrown from destructor

File closed twice

Format to argument count mismatch

Format to argument type mismatch

FORTRAN IN argument modified

Function illegally exits OpenMP* construct

Function result ignored

Function result not set

Function return value discarded

Function use does not match its definition

Gets function is unsafe

Global object constructor can throw exception

Global object destructor can throw exception

Global redefinition of new or delete

Global/static variable relies on default initialization

Illegal parameter value

Implicit function declaration

Implicit type conversion causes object slicing

Improper nesting of OpenMP* constructs

Improper nesting of OpenMP* CRITICAL directives

Improper use of intrinsic function

Improper use of OpenMP* PRIVATE variable

Improper use of OpenMP* REDUCTION variable

Improper use of OpenMP* THREADPRIVATE array

Improper use of OpenMP* THREADPRIVATE variable

Inconsistent array declaration (element count mismatch)

Inconsistent array declaration (element size mismatch)

Inconsistent array declaration (element type mismatch)

Inconsistent array declaration (size mismatch)

Inconsistent enumeration declaration (enum value mismatch)

Inconsistent enumeration declaration (member count mismatch)

Inconsistent enumeration declaration (name mismatch)

Inconsistent enumeration declaration (tag mismatch)

Inconsistent enumeration declaration (type mismatch)

Inconsistent pointer declaration (size mismatch)

Inconsistent pointer declaration (target size mismatch)

Inconsistent pointer declaration (type mismatch)

Inconsistent string declaration

Inconsistent structure declaration (field offset mismatch)

Inconsistent structure/union declaration (field count mismatch)

Inconsistent structure/union declaration (field name mismatch)

Inconsistent structure/union declaration (field size mismatch)

Inconsistent structure/union declaration (field type mismatch)

Inconsistent structure/union declaration (size mismatch)

Inconsistent structure/union declaration (tag mismatch)

Inconsistent structure/union declaration (type mismatch)

Inconsistent THREADPRIVATE declaration

Inconsistent type for OpenMP* ATOMIC variable

Inconsistent use of OpenMP* REDUCTION variable

Inconsistent variable declaration (size mismatch)

Inconsistent variable declaration (type mismatch)

Inconsistently qualified declaration

Incorrect allocation size

Incorrect memory deallocation

Incorrectly modified argument

Inefficient usage

Inefficient use of basic strings

Infinite loop

Insufficient memory allocation

Integer overflow

Integer to pointer conversion

Integer underflow

Interface mismatch

Interface mismatch on function argument

Invalid deallocate

Invalid file handle

Invalid pointer

LASTPRIVATE variable used after OpenMP* NOWAIT clause

Loop counter modified

Loop exit expression is invariant

Loop iteration executes more then one OpenMP* ORDERED construct

Loop variable cannot appear in OpenMP* THREADPRIVATE clause

Memory leak

Missing related operator definition

Missing return statement

Misuse of FORTRAN OUT parameter

Misuse of OpenMP* THREADPRIVATE variable

Misuse of PRIVATE variable

Misuse of strcpy/strcat string functions

Name clash

Negative array size

Nested use of OpenMP* and Intel® Cilk™ Plus in same program

Non-public access for new operator

Non-standard new operator

Null pointer dereference

Object size overflow

Open file handle leak

OpenMP* COPYIN clause copies from possibly uninitialized variable

OpenMP* COPYIN variable must be THREADPRIVATE

OpenMP* COPYPRIVATE variable must be PRIVATE or THREADPRIVATE in outer scope

OpenMP* IF clause has side-effects

OpenMP* LASTPRIVATE variable not properly assigned

OpenMP* nested parallelism

OpenMP* NUM_THREADS clause has side-effects

OpenMP* ORDERED directive executed by non-ordered loop

OpenMP* ORDERED directive not found in ordered loop

OpenMP* PRIVATE ALLOCATABLE array was not freed

OpenMP* PRIVATE variable accessed outside scope of region

OpenMP* PRIVATE variable modified in MASTER region

OpenMP* PRIVATE variable requires usable default constructor

OpenMP* REDUCTION variable accessed outside of region

OpenMP* REDUCTION variable must not be PRIVATE

OpenMP* SINGLE region needs a COPYPRIVATE clause

OpenMP THREADPRIVATE variable not initialized

OpenMP* usage requires variable to be shared

OpenMP* worksharing construct not in parallel region

Optional argument not declared last

Optional parameter not checked

Optional parameter passed as non-optional argument

Parameter size mismatch

Parameter type mismatch

Pointer is only sometimes checked for null

Pointer parameter pointed-to type mismatch

Pointers are not allowed in an OpenMP* FIRSTPRIVATE clause

Procedure is skipped

Public data member in non-POD class type

Pure virtual function call in constructor

Pure virtual function call in destructor

Read of uninitialized storage through pointer

REDUCTION variable used after OpenMP* NOWAIT clause

Reference to freed storage

SAL Readable Size Constraint Violation

SAL Writable Size Constraint Violation

Single definition for COMMON block

SSA internal error

Subroutine called as function

Subroutine could benefit from exception specification

Subroutine never returns

Tainted allocation size

Tainted array subscript

Tainted loop bound

Unchecked memory allocation

Undefined subroutine

Unhandled exception

Uninitialized OpenMP* PRIVATE variable

Uninitialized read of a bitfield

Uninitialized variable read

Unordered use of I/O operation

Unreachable code

Unrecognized format specifier

Unrecognized new

Unsafe format specifier

Unsafe OpenMP* NOWAIT clause

Unsafe use of OpenMP* threading intrinsic functions

Unsynchronized use of file system operations

Unterminated string

Unused subroutine

Unused variable value

Use of dangerous function

Uses address after free

Virtual function call in constructor

Virtual function call in destructor