Use array delete operator to delete an array
authorIan Romanick <ian.d.romanick@intel.com>
Wed, 9 Jun 2010 18:00:00 +0000 (11:00 -0700)
committerIan Romanick <ian.d.romanick@intel.com>
Wed, 9 Jun 2010 18:00:23 +0000 (11:00 -0700)
commit2f8b0435b0f9c4df8e19bbbd5df78729bfd25f09
treef8a3f9b8ff443701978c00f8b3ed7baaeea3c2de
parentcfb3536f10dac343ad635be7f979b292c97eb1a3
Use array delete operator to delete an array

This was detected by valgrind.  I think GCC still does the right
thing, but the C++ spec allows the compiler to do something
stupid... like crash or only delete the first entry in the array.
ir_function_inlining.cpp