diff options
| author | dmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-08 01:08:19 +0000 |
|---|---|---|
| committer | dmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-08 01:08:19 +0000 |
| commit | bde9c336750317898a820381b7616d0bafe8f512 (patch) | |
| tree | 025103f7b525c54f3336316a1945f7c1106cf5c0 /gcc/jit/ChangeLog | |
| parent | b17f7ccf848a1e56d9c09fd1ba8b6ce0e3a35883 (diff) | |
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
Diffstat (limited to 'gcc/jit/ChangeLog')
| -rw-r--r-- | gcc/jit/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index b17706e58ca..01b38820538 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,5 +1,14 @@ 2015-01-07 David Malcolm <dmalcolm@redhat.com> + * 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". + +2015-01-07 David Malcolm <dmalcolm@redhat.com> + * docs/topics/expressions.rst (Unary Operations): Add GCC_JIT_UNARY_OP_ABS. * jit-playback.c (gcc::jit::playback::context::new_unary_op): |