Though, here size of data_array is known at compile time, so the analyzer is sure that it can complain without risk of a false positive. In real code knowing the size of array is not that easy.