Undefined conversion from double to enum #26

Closed
tautschnig opened this Issue Sep 23, 2012 · 2 comments

2 participants

@tautschnig

Hi,

While building your package using our research compiler infrastructure we noticed the following undefined conversion: in lgi/marshal.c, line 1409:

transfer = lua_tonumber (L, lua_upvalueindex (2));

"transfer" is an enum, but lua_tonumber returns a double. Although conversion to an enum even from an integer is a bit dubious, at least the use of lua_tointeger would be relatively well defined.

Best,
Michael

@pavouk
Owner

Thanks, fixed in master as suggested.

Out of curiosity, what kind of compiler research project it is? Is it public?

@pavouk pavouk closed this Sep 26, 2012
@tautschnig

It's not necessarily a compiler research project, but it's actually the compiler front end of our verification tool chain: http://www.cprover.org/goto-cc/

Best,
Michael

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment