aboutsummaryrefslogtreecommitdiff
path: root/gdb/ChangeLog
diff options
context:
space:
mode:
authorSimon Marchi <simon.marchi@polymtl.ca>2017-11-24 10:42:01 -0500
committerSimon Marchi <simon.marchi@ericsson.com>2017-11-24 10:42:25 -0500
commit8172f16b5b8bf3007d0aafcb38964a408f0e844f (patch)
tree095c775ce21eeda04e90b4c58371f09b6accae7a /gdb/ChangeLog
parent7aabaf9d4ad52a1df1f551908fbd8cafc5e7597a (diff)
downloadgdb-8172f16b5b8bf3007d0aafcb38964a408f0e844f.zip
gdb-8172f16b5b8bf3007d0aafcb38964a408f0e844f.tar.gz
gdb-8172f16b5b8bf3007d0aafcb38964a408f0e844f.tar.bz2
Poison XNEW and friends for types that should use new/delete
This patch (finally!) makes it so that trying to use XNEW with a type that requires "new" will cause a compilation error. The criterion I initially used to allow a type to use XNEW (which calls malloc in the end) was std::is_trivially_constructible, but then realized that gcc 4.8 did not have it. Instead, I went with: using IsMallocatable = std::is_pod<T>; which is just a bit more strict, which doesn't hurt. A similar thing is done for macros that free instead of allocated, the criterion is: using IsFreeable = gdb::Or<std::is_trivially_destructible<T>, std::is_void<T>>; Trying to use XNEW on a type that requires new will result in an error like this: In file included from /home/simark/src/binutils-gdb/gdb/common/common-utils.h:26:0, from /home/simark/src/binutils-gdb/gdb/common/common-defs.h:78, from /home/simark/src/binutils-gdb/gdb/defs.h:28, from /home/simark/src/binutils-gdb/gdb/lala.c:1: /home/simark/src/binutils-gdb/gdb/common/poison.h: In instantiation of ‘T* xnew() [with T = bar]’: /home/simark/src/binutils-gdb/gdb/lala.c:13:3: required from here /home/simark/src/binutils-gdb/gdb/common/poison.h:103:3: error: static assertion failed: Trying to use XNEW with a non-POD data type. Use operator new instead. static_assert (IsMallocatable<T>::value, "Trying to use XNEW with a non-POD\ ^~~~~~~~~~~~~ Generated-code-wise, it adds one more function call (xnew<T>) when using XNEW and building with -O0, but it all goes away with optimizations enabled. gdb/ChangeLog: * common/common-utils.h: Include poison.h. (xfree): Remove declaration, add definition with static_assert. * common/common-utils.c (xfree): Remove. * common/poison.h (IsMallocatable): Define. (IsFreeable): Define. (free): Delete for non-freeable types. (xnew): New. (XNEW): Undef and redefine. (xcnew): New. (XCNEW): Undef and redefine. (xdelete): New. (XDELETE): Undef and redefine. (xnewvec): New. (XNEWVEC): Undef and redefine. (xcnewvec): New. (XCNEWVEC): Undef and redefine. (xresizevec): New. (XRESIZEVEC): Undef and redefine. (xdeletevec): New. (XDELETEVEC): Undef and redefine. (xnewvar): New. (XNEWVAR): Undef and redefine. (xcnewvar): New. (XCNEWVAR): Undef and redefine. (xresizevar): New. (XRESIZEVAR): Undef and redefine.
Diffstat (limited to 'gdb/ChangeLog')
-rw-r--r--gdb/ChangeLog29
1 files changed, 29 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 3696c5c..1030729e 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,34 @@
2017-11-24 Simon Marchi <simon.marchi@polymtl.ca>
+ * common/common-utils.h: Include poison.h.
+ (xfree): Remove declaration, add definition with static_assert.
+ * common/common-utils.c (xfree): Remove.
+ * common/poison.h (IsMallocatable): Define.
+ (IsFreeable): Define.
+ (free): Delete for non-freeable types.
+ (xnew): New.
+ (XNEW): Undef and redefine.
+ (xcnew): New.
+ (XCNEW): Undef and redefine.
+ (xdelete): New.
+ (XDELETE): Undef and redefine.
+ (xnewvec): New.
+ (XNEWVEC): Undef and redefine.
+ (xcnewvec): New.
+ (XCNEWVEC): Undef and redefine.
+ (xresizevec): New.
+ (XRESIZEVEC): Undef and redefine.
+ (xdeletevec): New.
+ (XDELETEVEC): Undef and redefine.
+ (xnewvar): New.
+ (XNEWVAR): Undef and redefine.
+ (xcnewvar): New.
+ (XCNEWVAR): Undef and redefine.
+ (xresizevar): New.
+ (XRESIZEVAR): Undef and redefine.
+
+2017-11-24 Simon Marchi <simon.marchi@polymtl.ca>
+
* gdbthread.h (private_thread_info): Define structure type, add
virtual pure destructor.
(thread_info) <priv>: Change type to unique_ptr.