Attachment 920180 Details for Bug 1122448 – test case exposing problem

test case exposing problem

test.cpp (text/x-c++src), 1.72 KB, created by Jakub Zytka on 2014-07-23 09:43:20 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jakub Zytka

Created: 2014-07-23 09:43:20 UTC

Size: 1.72 KB

patch

obsolete

>#include <stdint.h>
>#include <stdlib.h>
>
>static char buffer;
>
>enum
>{
>	ARRAY_SIZE = 8
>};
>
>struct Array
>{
>	Array();
>
>	int64_t data[ARRAY_SIZE];
>};
>
>Array::Array()
>{
>	for (uint32_t i = 0; i < ARRAY_SIZE; i++)
>	{
>		this->data[i] = 0;
>	}
>}
>
>//////////////////////////////////////////////////////////////
>
>struct TripleArray
>{
>	TripleArray(
>		Array const & aa,
>		Array const & bb,
>		Array const & cc
>	);
>
>	virtual ~TripleArray() {};
>
>	Array a;
>	Array b;
>	Array c;
>};
>
>TripleArray::TripleArray(
>	Array const & aa,
>	Array const & bb,
>	Array const & cc
>):
>	a(aa),
>	b(bb),
>	c(cc)
>{
>}
>
>//////////////////////////////////////////////////////////////
>
>struct TripleArrayAndStuff: public TripleArray
>{
>	TripleArrayAndStuff(
>		int64_t const & xx,
>		int64_t const & yy,
>		Array const & aa,
>		Array const & bb,
>		Array const & cc
>	);
>
>	virtual ~TripleArrayAndStuff() {};
>
>	static TripleArrayAndStuff EmptyTripleArrayAndStuff();
>
>	int64_t x;
>	int64_t y;
>};
>
>__attribute__ ((noinline)) TripleArrayAndStuff::TripleArrayAndStuff(
>	int64_t const & xx,
>	int64_t const & yy,
>	Array const & aa,
>	Array const & bb,
>	Array const & cc
>):
>	TripleArray(
>		aa,
>		bb,
>		cc
>	),
>	x(xx),
>	y(yy)
>{
>}
>
>TripleArrayAndStuff __attribute__ ((noinline)) TripleArrayAndStuff::EmptyTripleArrayAndStuff()
>{
>	return TripleArrayAndStuff(0, 0, Array(), Array(), Array());
>}
>
>//============================================================================
>
>void test()
>{
>	{
>		TripleArrayAndStuff corruptingVar = TripleArrayAndStuff::EmptyTripleArrayAndStuff();
>	}
>
>	{
>//		__asm__ __volatile__("":::"memory");
>		Array ccBeingCorrupted;
>		__asm__ __volatile__("":::"memory");
>		buffer = ((0 == ccBeingCorrupted.data[0]) ? '=' : '!');
>		if (buffer != '=')
>		{
>			::abort();
>		}
>	}
>}
>
>int main()
>{
>	test();
>	return 0;
>}

Actions: View

Attachments on bug 1122448: 920180 | 920181 | 920182 | 920183 | 920184