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/dse.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/dse.c')
0 files changed, 0 insertions, 0 deletions