From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755309AbeASP3P (ORCPT ); Fri, 19 Jan 2018 10:29:15 -0500 Received: from mail-db5eur01on0101.outbound.protection.outlook.com ([104.47.2.101]:58400 "EHLO EUR01-DB5-obe.outbound.protection.outlook.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1754860AbeASP2x (ORCPT ); Fri, 19 Jan 2018 10:28:53 -0500 Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=aryabinin@virtuozzo.com; From: Andrey Ryabinin To: Andrew Morton Cc: linux-kernel@vger.kernel.org, Sodagudi Prasad , Andrey Ryabinin Subject: [PATCH 2/2] lib/ubsan: remove returns-nonnull-attribute checks. Date: Fri, 19 Jan 2018 18:28:53 +0300 Message-Id: <20180119152853.16806-2-aryabinin@virtuozzo.com> X-Mailer: git-send-email 2.13.6 In-Reply-To: <20180119152853.16806-1-aryabinin@virtuozzo.com> References: <20180119152853.16806-1-aryabinin@virtuozzo.com> MIME-Version: 1.0 Content-Type: text/plain X-Originating-IP: [195.214.232.6] X-ClientProxiedBy: HE1PR09CA0071.eurprd09.prod.outlook.com (2603:10a6:7:3d::15) To DB6PR08MB2824.eurprd08.prod.outlook.com (2603:10a6:6:1d::27) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: e5032930-5a44-4396-1ccf-08d55f51576e X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(7020095)(4652020)(5600026)(4604075)(2017052603307)(7153060)(7193020);SRVR:DB6PR08MB2824; X-Microsoft-Exchange-Diagnostics: 1;DB6PR08MB2824;3:9GGTbbIPGdgb0jj7V0dJV51HhWCWZSJLr1OzDcDt7H4B6IuVdPmusz3ml2oxvL9ykzmmlcCW7CbxSyhudizo20iFgl8tuxi2i1z8o21q58NCgWQDlZOBzs9ObhxefA3PetHIfZ/mkAnaniAJKNTLXGIxNFIaSfyo+pNEU8kgzOnv0RbnbJCOhaI+gJK3r8pdWBnFPzzfuuxo1uYXjKDw28cunZ9ZZ5uZAYATCvGSHGBtyge71Rg8/mKGmChCiT06;25:XVWpKDrpzyy2o5FBajoLCD9XLmXHS4/cKC+vfG0O0gJLKo2pB/Oy7C+YA38F+gKQap3iqNIPfiT+2G714NWb9loKhIbPwSr6DVEkreT3TA9JxtlWymBuE1rlYl6Y5OGHJpEkYOCu8wR9FVSBbGtuWw4nlSuZjNdpAMM1m1tciI4SNAGZ47DZEi6z9AkRgh4TJop6aSc4x0slZ8+aeh9sO17h4Rs+7EUkQk7FIwj9ytIdbx7gowg+FwdlMz8GAKjeBn0+yIp6GmKJYtzOHqljcub97Eg9CSDAS91zFzgA9Sl8J9F7qb2ok3fOYxoGCJVwtyYAA9vdXQab4V4bolOTvw==;31:Z1oQ9E1khO3XN8gvAWwMtvp59q1lx0z/kLRjqFNPgVYEF6aWoFMzRKIF7kGfC8S1qmG4uhOUsQuHXn785PIsSwc+ORGxvoRgb8iQxsKMohPD+XUV35BK4GqWZEUZ1o3vmgsvcy3UEYXYP1epN+TN8lSgm8WS1odQGPKAp2YmO56JHabpPgGdspZ2iP9tKn0haglpBeEjSPZTmdfJc36jfQrwarHw6jAI1wyUe0wGguw= X-MS-TrafficTypeDiagnostic: DB6PR08MB2824: X-Microsoft-Exchange-Diagnostics: 1;DB6PR08MB2824;20:JDeGoxHrIwosui/9si6Qf0vy1JANxwy64NH8Y6qdqs4fcvrHLfFP7C4qNVa7hoG1dFR3D09DA8TlN9lqXy5qBMjnnz1dfYm1yHJp+KZRpaKoxgyO914XAWS+264oPStwzFRUWdZO8ZQ7blRhjV3lxui2oQ87wmH3o/YyE58AEGb4ZF2vI1fw17X8JvEm+oLx+by8onj3fQ9AwDqTvBLdF1dnJUlln5DdS72vB9mIH9Tan2XrSu2mpOQ3IEPpLY9UzUc6lraj+OuKUkU2U5ZpqGLn2T9UTFFQS6s+fZCiM8UpGH3l1eEqUR/jGEBreYMaoFIarJrfrbVWaPTkteDm6sW2G+VLKZKKJGq1rp3iGn0V+vv9AcHDuowxxzg+VntUaBOUgflwPPzDivpO0T3Gl/yiBTeDL+DMXgfx+0TbhSE=;4:lY6PAQ43FASYFjAVhwhXLz6CjnaliVET7ENc1MGRIDKLqTYsarZ0/sxUvxsmEHN8XM2dWkO2scof+kvtxvHAq0Cd5qVnNkZCCSfIJTUR4/xeuyJ1oc9RhQmptsQKWraEPnsfQUnBpIgNtrISEKTXUGVrhkO9TDjWW33UX5StZDKnTey40r2GlRC1LhAXvnElsCmMPZqoEDoj9Gh7yXq8fiZUjQREb3RczztmRgZlKMkJ3dP/Qyub4p8nHR6snTRKvpfJU/Sy+hR6Qxqf8FShUA== X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040470)(2401047)(8121501046)(5005006)(93006095)(93001095)(3002001)(10201501046)(3231023)(2400079)(944501161)(6041268)(20161123560045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123562045)(20161123564045)(20161123558120)(6072148)(201708071742011);SRVR:DB6PR08MB2824;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:DB6PR08MB2824; X-Forefront-PRVS: 0557CBAD84 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(6069001)(346002)(366004)(376002)(39380400002)(396003)(39850400004)(189003)(199004)(86362001)(107886003)(16526018)(7736002)(76176011)(25786009)(105586002)(5660300001)(6916009)(2906002)(386003)(6506007)(52116002)(305945005)(36756003)(59450400001)(68736007)(2950100002)(106356001)(54906003)(6116002)(16586007)(316002)(53416004)(53936002)(47776003)(8936002)(51416003)(76506005)(97736004)(81166006)(6512007)(8676002)(48376002)(478600001)(4326008)(50226002)(50466002)(81156014)(1076002)(69596002)(575784001)(66066001)(230783001)(26005)(3846002)(6486002);DIR:OUT;SFP:1102;SCL:1;SRVR:DB6PR08MB2824;H:localhost.sw.ru;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; X-Microsoft-Exchange-Diagnostics: =?us-ascii?Q?1;DB6PR08MB2824;23:tjZKtwLPcwSrrvulqg+N981XzYsVVC0pdqlS/idD7?= =?us-ascii?Q?5VOoBhWrrYg3tFyeOpZn/Af+M1p3I0F5e8rXn8FveGQCT1cg1IaGyVOf2FTE?= =?us-ascii?Q?5txcJvDpJ3l7nZBoXiMiTeWK81kDx1lOT9C1DlpWSkbHcJhuXrYXH03mmIgg?= =?us-ascii?Q?P5bzxRVgMxm6eCQxdZUTPRZhjNLsOuWYLB6epjZwtgRMkDQSLWKNi97T2IXu?= =?us-ascii?Q?8/cT69FZ4cJNsRI0nBfIfolFJws1rbH0IRMXgOgcm4mwJy97BY710RxQlP1I?= =?us-ascii?Q?NBz0KfQl8rw2npUKpzs0lzjg7XBEqXmfSgv+637Q6WWuVV3xYyKyJ+uvfYDN?= =?us-ascii?Q?TAq21QM/WbbGR4QEH6J8+BkhANkK28zQJIJ5pby6CANKnEfYJk7kpoyzFX5B?= =?us-ascii?Q?YeCU6U09qosse8Gc1C2QH1mkHS2yTB8DEkuBM11bKKYl1tKtaJ78hjeQ5pKp?= =?us-ascii?Q?idiNttCKhedU+4yZMHke65JRn8uWkRqIiDXh7nVby5J5m7rNkGRnhWzDwEGR?= =?us-ascii?Q?waZsVRO3yHO5sB3XugHix+w9cj/9NkiJtuXsP6hibTbFTI6j34T3u50xn7qR?= =?us-ascii?Q?tHA12LK+mvRz7MdneeznnRglxLmAR9OXojGpKGz3+/Y2O5pzV4bPehWGfUvE?= =?us-ascii?Q?nbFI1e3EO9ZjiLxIUdxjUq0Uj9/Viq6GHs/kmhspdi/ieUmxylqlrJlhuoCA?= =?us-ascii?Q?Ego87vcQW8Yj3gx3f/OSV/Q/HXAiLLrZFXrJkCoweje0ZzLi0k0wIhsWQ58s?= =?us-ascii?Q?sScy2hOUAIO+TsOKXuheaHzuD8L5mxKQ1SnmpdkMsSBV1xZxkuQH5acpxBPS?= =?us-ascii?Q?LIMUl9qh+FbrOQUndjTFbvWAv9TWWMtZEqAXapnrd8zaTImbA2UtoUa0TYeJ?= =?us-ascii?Q?atarkGqCANb+60FmYesVSuZXzRcCGOV+sTsYGUy93uK4XiL/OlB4c24ok/DU?= =?us-ascii?Q?sGZ5jTDDvvCrY1hhER43SCITNTAJJfeXTqyCLo+vJ0AQDXsj5fLAEZvkTBA2?= =?us-ascii?Q?xDCjVhCZjW5HWvxEtlvYUWntGvYWeBbiJRHCFn/KGHTD/LUusHHCxfjpwtF0?= =?us-ascii?Q?F8r6PFfTJz+09D+E3ry8mleFUvOXhJe52KID7y/Pgjrr3eLOSne8+mC9FMs5?= =?us-ascii?Q?gZxu27vrI65zw4iFvxapZg4Cv/jY7DMqV3ApzFqnBA7wiqou/P20xFhX1LOZ?= =?us-ascii?Q?Qk3/1pCZR+7Cg8iaflhI4OUt3Ewen700DpmL7CJ2zrwGybjURr0fwSTd36ru?= =?us-ascii?Q?xdc6tgaSxGDGlpe9Bwzc1rXbkB7qnoj02rggdROXt+3K9/vNKvs92TBNMRts?= =?us-ascii?B?dz09?= X-Microsoft-Exchange-Diagnostics: 1;DB6PR08MB2824;6:B86lp7zxtYGa6xoenVjA3hf32fe7GL3urUBf8gHa76UKk7kr99w5eRHGT/Vd9XzVHza2jIYEJtV1xFLsgrM4JVSD6Uz0YpeG4mincugT3nUmbrd/cKJi0MVy4Sm5AC98Gq5P5IIKs/NgJPj+7HDGEb7fBfqzFlVsqif+ZSld6b0+GGL5j9TOF05Bq2NyzRfGOEA3YQOjoYL++ZicJI5fJoEVasgZJ+FL2XHE4JdNdqkZ0ejMcXM/Gs+Eh9IioQ6PIVR2ZrsI/pmYFbWVm4OfkB9OoBlez2jS0v/vgtkC+B7JD2VaEYNvnAcop2aVMbJ2ft36pCl+5o/50vTk9EYCTRFIK5Beq65fcBUAZXZpZ4M=;5:Fcsh5yASPSdd10EdZnXan9e4fv8rJ9B+9rite7sHFvcsfP5zcXUVhs0dx4M2wEikr15UNcA/BcwRwIGwN7k8odtfg0+9FwENd3rQ2+f6F8PKrifXXk8wwxBzfrBp+P5jJpIdhYIQjGYDgn3w9KBwnz7XnfPaRt8S7hbHmWW/zmI=;24:4+egKb/9HFLEf7tvoDGKwet6tKWwdBmEVxQSQ5XzGXH7BYEu4PF6YTfiSVY6/iMqSqdLJ60Z4MGUI0Z3MssFV/e5i18X6Rzvix08bIQfXOU=;7:h6NBxuXVOqx7jn6yKYUNu32z4vdv6fh8GXSFtUcZcXVj3zD/B/M8MgsoiLh87GTqT+zS1iR01fYytiSVsnORjWQ9xrATm8/ToO/V56c8Ry4zyCrJwZ4XfT4BCaUVxzDxZl2WN69fBxO0s8orZAEabKQxo7HgTugtQEyA4/GvsFpdAZ1tOslqEo8QKaHE+GCclNh+nxojnNiqKBfsLR5Qfi9uLAez2Nj3q/BqywQ8dsLE5LI0KQX7Nm+CitgWv7CE SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;DB6PR08MB2824;20:PW+ioQmriQHZAVcEmNtz9b0eGn5+OpiOiW04CB+mTptrfZyq1Vm6aEFGnqSkUjgWkIoPvkoVj150JZh11Tvlg+GM0JCsXvnoL3X4qnSihSMg53X4pIiwCBxEXTW5Ou0uMhKTi8F9afn6HF9vNoKwUVYh+8PYxwrr7M47NeLDrO8= X-OriginatorOrg: virtuozzo.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Jan 2018 15:28:50.1929 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: e5032930-5a44-4396-1ccf-08d55f51576e X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 0bc7f26d-0264-416e-a6fc-8352af79c58f X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6PR08MB2824 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Similarly to type mismatch checks, new GCC 8.x and Clang also changed for ABI for returns_nonnull checks. While we can update our code to conform the new ABI it's more reasonable to just remove it. Because it's just dead code, we don't have any single user of returns_nonnull attribute in the whole kernel. And AFAIU the advantage that this attribute could bring would be mitigated by -fno-delete-null-pointer-checks cflag that we use to build the kernel. So it's unlikely we will have a lot of returns_nonnull attribute in future. So let's just remove the code, it has no use. Signed-off-by: Andrey Ryabinin --- lib/ubsan.c | 19 ------------------- lib/ubsan.h | 5 ----- scripts/Makefile.ubsan | 1 - 3 files changed, 25 deletions(-) diff --git a/lib/ubsan.c b/lib/ubsan.c index 50d1d5c25deb..adada1dbbe94 100644 --- a/lib/ubsan.c +++ b/lib/ubsan.c @@ -356,25 +356,6 @@ void __ubsan_handle_type_mismatch_v1(struct type_mismatch_data_v1 *data, } EXPORT_SYMBOL(__ubsan_handle_type_mismatch_v1); -void __ubsan_handle_nonnull_return(struct nonnull_return_data *data) -{ - unsigned long flags; - - if (suppress_report(&data->location)) - return; - - ubsan_prologue(&data->location, &flags); - - pr_err("null pointer returned from function declared to never return null\n"); - - if (location_is_valid(&data->attr_location)) - print_source_location("returns_nonnull attribute specified in", - &data->attr_location); - - ubsan_epilogue(&flags); -} -EXPORT_SYMBOL(__ubsan_handle_nonnull_return); - void __ubsan_handle_vla_bound_not_positive(struct vla_bound_data *data, unsigned long bound) { diff --git a/lib/ubsan.h b/lib/ubsan.h index 7e30b26497e0..f4d8d0bd4016 100644 --- a/lib/ubsan.h +++ b/lib/ubsan.h @@ -57,11 +57,6 @@ struct nonnull_arg_data { int arg_index; }; -struct nonnull_return_data { - struct source_location location; - struct source_location attr_location; -}; - struct vla_bound_data { struct source_location location; struct type_descriptor *type; diff --git a/scripts/Makefile.ubsan b/scripts/Makefile.ubsan index 8fd4d44fbcd1..b593b36ccff8 100644 --- a/scripts/Makefile.ubsan +++ b/scripts/Makefile.ubsan @@ -7,7 +7,6 @@ ifdef CONFIG_UBSAN CFLAGS_UBSAN += $(call cc-option, -fsanitize=signed-integer-overflow) CFLAGS_UBSAN += $(call cc-option, -fsanitize=bounds) CFLAGS_UBSAN += $(call cc-option, -fsanitize=object-size) - CFLAGS_UBSAN += $(call cc-option, -fsanitize=returns-nonnull-attribute) CFLAGS_UBSAN += $(call cc-option, -fsanitize=bool) CFLAGS_UBSAN += $(call cc-option, -fsanitize=enum) -- 2.13.6