Open Radar

 
21-Jun-2012 01:54 PM Anders Kierulf:
Summary:
Analyze reports an issue when there's no issue. Only happens when a constant is declared outside of a method and based on another constant.

Steps to Reproduce:

Run Analyze on the following code:

// Declaring this here will causes Analyze to fail, claiming the value assigned to 'temp'
// is garbage or undefined. If MaxPoint is declared as 19 directly, Analyze is happy.
const int MaxSize = 19;
const int MaxPoint = MaxSize;

- (void)analyzeFailure
{
   // If the same declaration is moved within the method, Analyze is happy.
   // const int MaxSize = 19;
   // const int MaxPoint = MaxSize;

   int point[MaxPoint];

   for (int i = 0; i < MaxPoint; i++)
	{	point[i] = 1;
	}

   int temp = point[0];
   assert(temp);
}

Expected Results:
Analyze should not report any issues.

Actual Results:
Analyze claims the value assigned to temp is garbage or undefined.

Regression:

Notes:
Minimal sample project including this code is attached.