Skip to contentSkip to conversation

sparse-llvm: void return type compiles to i8

DISCUSSION Jonathan Neuschäfer 1 participant 1 message Aug 19, 2012 Sparse checker

lore
Share & tools
lore
#0 lore raw

Hi!

A simple function like this will compile to the following llvm bitcode:

	/* C */
	void func(void) {
		return;
	}

	/* LLVM */
	define i8 @func() {
	L0:
	  ret void
	}

The return type of the function and the type in the return instruction don't match.

I found this inconsistency by running LLVM's bitcode validation on the bitcode produced by sparse-llvm.

Greetings,
Jonathan Neuschäfer
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html