Вопросы по теме 'value-analysis'
Анализ значений для верхних границ цикла
Я анализирую управляющую программу со следующей структурой:
unsigned int cnt=0;
unsigned int inc=3;
...
void main(){
int i;
int lim;
for(i=0;i<100000;i++)
{
f1();
....
lim = f2();
if(cnt < lim)
cnt += inc;
....
}
}
Моя...
51 просмотров
schedule
26.10.2021