Differential D6096 Diff 26546 test/safestack/buffer-copy-vla.c

Changeset View

Standalone View

				// RUN: %clang_safestack %s -o %t
				// RUN: %run %t

				#include "utils.h"

				// Test that loads/stores work correctly for VLAs on the unsafe stack.

				int main(int argc, char **argv)
				{
				int i = 128;
				break_optimization(&i);
				char buffer[i];

				// check that we can write to a buffer
				for (i = 0; argv[0][i] && i < sizeof (buffer) - 1; ++i)
				buffer[i] = argv[0][i];
				buffer[i] = '\0';

				break_optimization(buffer);

				// check that we can read from a buffer
				for (i = 0; argv[0][i] && i < sizeof (buffer) - 1; ++i)
				if (buffer[i] != argv[0][i])
				return 1;
				return 0;
				}