diff options
author | David Malcolm <dmalcolm@redhat.com> | 2015-01-08 01:08:19 +0000 |
---|---|---|
committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2015-01-08 01:08:19 +0000 |
commit | c211cd236cb0b4cda31657cd96668aace2e8e4ac (patch) | |
tree | 025103f7b525c54f3336316a1945f7c1106cf5c0 /gcc/jit/libgccjit.c | |
parent | 5efe46fdc75546d4279d355b5e79280901238b09 (diff) | |
download | gcc-c211cd236cb0b4cda31657cd96668aace2e8e4ac.zip gcc-c211cd236cb0b4cda31657cd96668aace2e8e4ac.tar.gz gcc-c211cd236cb0b4cda31657cd96668aace2e8e4ac.tar.bz2 |
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.
From-SVN: r219333
Diffstat (limited to 'gcc/jit/libgccjit.c')
-rw-r--r-- | gcc/jit/libgccjit.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/jit/libgccjit.c b/gcc/jit/libgccjit.c index 6853bb0..99b2d56 100644 --- a/gcc/jit/libgccjit.c +++ b/gcc/jit/libgccjit.c @@ -1664,6 +1664,13 @@ gcc_jit_rvalue_dereference (gcc_jit_rvalue *rvalue, rvalue->get_debug_string (), rvalue->get_type ()->get_debug_string ()); + RETURN_NULL_IF_FAIL_PRINTF2 ( + !underlying_type->is_void (), + rvalue->m_ctxt, loc, + "dereference of void pointer %s (type: %s)", + rvalue->get_debug_string (), + rvalue->get_type ()->get_debug_string ()); + return (gcc_jit_lvalue *)rvalue->dereference (loc); } |