jit: Add checking for dereference of void *
commitbde9c336750317898a820381b7616d0bafe8f512
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Jan 2015 01:08:19 +0000 (8 01:08 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Jan 2015 01:08:19 +0000 (8 01:08 +0000)
tree025103f7b525c54f3336316a1945f7c1106cf5c0
parentb17f7ccf848a1e56d9c09fd1ba8b6ce0e3a35883
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219333 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/jit/ChangeLog
gcc/jit/jit-recording.h
gcc/jit/libgccjit.c
gcc/testsuite/ChangeLog
gcc/testsuite/jit.dg/test-error-dereferencing-void-ptr.c [new file with mode: 0644]