Глобальные переменные

Описание и пример глобальных категорий переменных

Результаты Polyspace

Protected variableГлобальные переменные, общие между несколькими задачами и защищенные от параллельного доступа задачами
Potentially unprotected variableГлобальные переменные, общие между несколькими задачами, но не защищенные от параллельного доступа задачами
Used non-shared variableГлобальные переменные, используемые в одной задаче
Unused variableГлобальные переменные, объявленные, но не используемые