linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* sparse-llvm: void return type compiles to i8
@ 2012-08-19  0:32 Jonathan Neuschäfer
  0 siblings, 0 replies; only message in thread
From: Jonathan Neuschäfer @ 2012-08-19  0:32 UTC (permalink / raw)
  To: linux-sparse; +Cc: Pekka Enberg

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 majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2012-08-19  0:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-08-19  0:32 sparse-llvm: void return type compiles to i8 Jonathan Neuschäfer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).