r219333 - in /trunk/gcc: jit/ChangeLog jit/jit-...

[dmalcolm@gcc.gnu.org]

Author: dmalcolm
Date: Thu Jan  8 01:08:19 2015
New Revision: 219333

URL: https://gcc.gnu.org/viewcvs?rev=219333&root=gcc&view=rev
Log:
jit: Add checking for dereference of void *

gcc/jit/ChangeLog:
	* jit-recording.h (gcc::jit::recording::type::is_void): New
	virtual function.
	(gcc::jit::recording::memento_of_get_type::is_void): New
	function, overriding default implementation.
	* libgccjit.c (gcc_jit_rvalue_dereference): Verify that
	the underlying type is not "void".

gcc/testsuite/ChangeLog:
	* jit.dg/test-error-dereferencing-void-ptr.c: New test case.


Added:
    trunk/gcc/testsuite/jit.dg/test-error-dereferencing-void-ptr.c
Modified:
    trunk/gcc/jit/ChangeLog
    trunk/gcc/jit/jit-recording.h
    trunk/gcc/jit/libgccjit.c
    trunk/gcc/testsuite/ChangeLog