Edoardo Prezioso
9ce6630b28
Add some unused private copy ctors and operator=.
...
In Token and in Check classes, GCC -Weffc++ reports that it's better to override the copy constructors and the assignment operator to avoid problems with copied objects which could have the same pointers, hence with double frees, when we delete one of these pointers in the copied and in the original object.
2012-12-01 02:17:46 +01:00
..
2012-10-12 06:12:52 +02:00
2012-09-17 13:51:23 +02:00
2012-12-01 02:17:46 +01:00
2012-11-29 10:19:52 +01:00
2012-09-29 10:54:09 +02:00
2012-10-14 17:30:37 +02:00
2012-10-24 01:32:07 +02:00
2012-10-13 11:16:48 +02:00
2012-09-17 13:51:23 +02:00
2012-12-01 01:31:35 +01:00
2012-09-17 13:51:23 +02:00
2012-11-30 07:08:16 +01:00
2012-09-20 19:16:26 +02:00
2012-10-14 17:40:17 +02:00
2012-09-17 13:51:23 +02:00
2012-12-01 00:55:24 +01:00
2012-09-07 12:36:40 +02:00
2012-11-06 10:54:52 -08:00
2012-10-21 08:50:29 +02:00
2012-10-27 16:36:14 +02:00
2012-10-27 16:36:14 +02:00
2012-11-30 07:08:16 +01:00
2012-10-03 19:51:09 +02:00
2012-10-02 18:44:36 +02:00
2012-09-17 13:51:23 +02:00
2012-11-30 07:08:16 +01:00
2012-11-20 23:56:17 -08:00
2012-10-02 18:44:36 +02:00
2012-09-17 13:51:23 +02:00
2012-12-01 01:31:35 +01:00
2012-11-09 18:08:20 +01:00
2012-11-12 06:16:38 +01:00
2012-09-17 13:51:23 +02:00
2012-11-29 10:47:52 -08:00
2012-10-24 01:32:07 +02:00
2012-11-30 06:30:04 +01:00
2012-11-29 18:41:48 +01:00
2012-11-01 18:40:20 +01:00
2012-09-17 13:51:23 +02:00
2012-11-28 06:11:33 +01:00
2012-09-17 13:51:23 +02:00
2012-06-16 06:34:18 +02:00
2012-11-04 15:49:18 +01:00
2012-07-09 13:30:18 +02:00
2012-11-03 20:37:23 +01:00
2012-10-14 10:21:22 +02:00
2012-07-13 08:29:49 +02:00
2012-08-10 12:43:53 +02:00
2012-09-17 13:51:23 +02:00
2012-06-10 05:19:09 -07:00
2012-06-11 22:16:12 +03:00
2012-11-27 17:37:49 +01:00
2012-09-11 16:50:42 +02:00
2012-11-29 10:32:34 +01:00
2012-10-03 19:47:14 +02:00
2012-10-12 17:46:57 +02:00
2012-12-01 02:02:45 +01:00
2012-11-03 11:25:40 +01:00
2012-11-11 16:16:17 +01:00
2012-11-11 16:16:17 +01:00
2012-08-25 21:57:45 +02:00
2012-09-23 10:56:12 +02:00
2012-06-10 05:19:09 -07:00
2012-11-30 02:25:40 -08:00
2012-11-30 06:03:58 +01:00
2012-12-01 01:31:35 +01:00
2012-09-13 16:43:07 +02:00
2012-09-15 19:49:48 +02:00
2012-09-17 13:51:23 +02:00
2012-12-01 00:55:24 +01:00
2012-12-01 02:17:46 +01:00
2012-12-01 01:31:35 +01:00
2012-12-01 00:43:23 +01:00
2012-09-10 21:13:32 +02:00
2012-08-26 00:12:38 +03:00
2012-11-04 15:49:18 +01:00
2012-10-14 10:21:22 +02:00