Corrected verdict due to PR #791

Created by: afzalmohd

Corrected verdict from false to true, due to PR #791 "Transformed VLA allocation into heap allocation and bounded the allocation size"

In PR #791, unbounded array has been changed to bounded array, so value 1 will never be assigned to the array, which makes it a safe program. To make it as an unsafe program, array size should be at least 2^24, which is 16777216.

• programs added to new and appropriately named directory

• license present and acceptable (either in separate file or as comment at beginning of program)

• contributed-by present (either in README file or as comment at beginning of program)

• programs added to a .set file of an existing category, or new sub-category established (if justified)

• intended property matches the corresponding .prp file

• programs and expected answer added to a .yml file according to task definitions

• architecture (32 bit vs. 64 bit) matches the corresponding .cfg file
• original sources present
• preprocessed files present
• preprocessed files generated with correct architecture
• Makefile added with correct content and without overly broad suppression of warnings