Как заставить анализ сайта вызова при поиске мертвого кода в Polyspace?

Question

Я использую Polyspace IHME-8.1.0.12 (R2011a), чтобы найти мертвый код в моем проекте. В настоящее время анализ улавливает этот случай:

int f1() { 
    int x = 1; 
    if (x > 0) return 1; 
    else return 0; // dead code 
} 

Но это не случай:

int f2(int x) { 
    if (x > 0) return 1; 
    else return 0; // the very same dead code! 
} 
void call_site() { 
    f2(1); 
} 

Обратите внимание, что x стал параметр, но он по-прежнему имеет постоянное значение, 1. Функционал f2() вызывается только на call_site(), или, в качестве альтернативы, каждый сайт вызова вызывает f2() с x=1.

Есть ли опция конфигурации, которую я должен активировать, чтобы анализировать все сайты вызовов при поиске недостижимого кода? Или это ограничение Polyspace?

Answer 1

Можете ли вы сказать мне, есть ли основное приложение? Если нет, тогда Polyspace будет использовать свой основной генератор, и поэтому также может вызвать f2 (это зависит от того, как сконфигурирован основной генератор). И если f2 вызывается также основным генератором, то считается, что x принимает любое значение. Вы можете увидеть диапазон x, который рассматривает Polyspace, если вы посмотрите на всплывающую подсказку на x или щелкнете по x и посмотрите на окно сведений о чеке.