Marenz

==11376== Memcheck, a memory error detector
==11376== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==11376== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==11376== Command: build/solc/solc test/libsolidity/semanticTests/viaYul/array_memory_index_access.sol --optimize --ir
==11376==
==11376== Conditional jump or move depends on uninitialised value(s)
==11376==    at 0x1B03E0: void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_construct<std::_Deque_iterator<char, char&, char*> >(std::_Deque_iterator<char, char&, char*>, std::_Deque_iterator<char, char&, char*>, std::forward_iterator_tag) (basic_string.tcc:217)
==11376==    by 0x1AFE2E: void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_construct_aux<std::_Deque_iterator<char, char&, char*> >(std::_Deque_iterator<char, char&, char*>, std::_Deque_iterator<char, char&, char*>, std::__false_type) (basic_string.h:247)
==11376==    by 0x1AF630: void st

Marenz

string YulUtilFunctions::prepareMemoryFunction(Type const& _type, bool _padToWords)
{
	solAssert(
		_type.sizeOnStack() == 1,
		"Memory store of types with stack size != 1 not allowed (Type: " + _type.toString(true) + ")."
	);

	string functionName = "prepare_memory_" + _type.identifier();

	return m_functionCollector->createFunction(functionName, [&]() {

Marenz

# Mark in HOLD space that we are in a test case
/BOOST_AUTO_TEST_CASE/ h


# If in a test case and we found "m_compileViaYul", remove line and mark test
# case as MATCHED
/m_compileViaYul = true/ {
	x
	/BOOST_AUTO_TEST_CASE/ {
		s/^.*$/MATCHED/

Marenz

	yul::Expression operator()(yul::Identifier const& _identifier) override
	{
		auto const& reference = m_references.at(&_identifier);
		auto const varDecl = dynamic_cast<VariableDeclaration const*>(reference.declaration);
		solUnimplementedAssert(varDecl, "");

		if (reference.isOffset || reference.isSlot)
		{
			solAssert(reference.isOffset != reference.isSlot, "");

Marenz

 ✘ marenz@binkthox  ~  pactl list cards
Karte #0
        Name: alsa_card.pci-0000_00_1f.3
        Treiber: module-alsa-card.c
        Owner-Modul: 6
        Eigenschaften:
                alsa.card = "0"
                alsa.card_name = "HDA Intel PCH"
                alsa.long_card_name = "HDA Intel PCH at 0xec240000 irq 135"
                alsa.driver_name = "snd_hda_intel"

Marenz

Thread 1 "terminology" received signal SIGABRT, Aborted.
0x00007ffff717b82f in raise () from /usr/lib/libc.so.6
(gdb) bt
#0  0x00007ffff717b82f in raise () at /usr/lib/libc.so.6
#1  0x00007ffff7166672 in abort () at /usr/lib/libc.so.6
#2  0x00007ffff71bde78 in __libc_message () at /usr/lib/libc.so.6
#3  0x00007ffff71c478a in  () at /usr/lib/libc.so.6
#4  0x00007ffff71c4fac in malloc_consolidate () at /usr/lib/libc.so.6
#5  0x00007ffff71c7368 in _int_malloc () at /usr/lib/libc.so.6

Marenz

(gdb) bt
#0  0x00007ffff720c67b in getpid () at /usr/lib/libc.so.6
#1  0x00007ffff760e096 in  () at /usr/lib/libecore.so.1
#2  0x00007ffff760e928 in  () at /usr/lib/libecore.so.1
#3  0x00007ffff7616198 in efl_loop_iterate () at /usr/lib/libecore.so.1
#4  0x00007ffff7311144 in ecore_ipc_server_flush () at /usr/lib/libecore_ipc.so.1
#5  0x000055555556c5b0 in ipc_instance_add (inst=<optimized out>) at ../src/bin/ipc.c:193
#6  0x000055555556fd12 in elm_main (argc=<optimized out>, argv=<optimized out>) at ../src/bin/main.c:869
#7  0x000055555556706e in main (argc=1, argv=0x7fffffffe338) at ../src/bin/main.c:1013

Marenz

+string IRGeneratorForStatements::binOpToFunction(Token _token, IntegerType const& _type) const
+{
+	solUnimplementedAssert(!_type.isSigned(), "");
+
+	switch(_token)
+	{
+		case Token::Equal:
+			return "eq(<left>, <right>)\n";
+		case Token::NotEqual:
+			return "iszero(eq(<left>, <right>))\n";

Marenz

struct ResizingRegionAllocator
{
    private void[] memory;
    private size_t position;

    public uint alignment = 1;

    public void[] allocate ( size_t size )
    {
        if (memory.length - position < size)

Marenz

dub  --compiler=/home/marenz/Downloads/ldc2-1.5.0-linux-x86_64/bin/ldc2    
Performing "debug" build using /home/marenz/Downloads/ldc2-1.5.0-linux-x86_64/bin/ldc2 for x86_64.               
mir-algorithm 0.6.21: target for configuration "library" is up to date.
mir-blas 0.0.2: target for configuration "library" is up to date.
lubeck 0.0.4: target for configuration "library" is up to date.
mir-cpuid 0.5.2: target for configuration "library" is up to date.
mtimes_bug ~master: building configuration "application"...
Running pre-build commands...
The determined compiler type "ldc" doesn't match the expected type "dmd". This will probably result in build errors.
Performing "target-native" build using ldmd2 for x86_64.