220 36621 <63f911aa-32dc-4c04-ac4a-c3c28cc2d0a9@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: mihailnajdenov@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Static analysis and the future of C++ Date: Sun, 14 Jan 2018 08:15:45 -0800 (PST) Lines: 83 Approved: news@gmane.org Message-ID: <63f911aa-32dc-4c04-ac4a-c3c28cc2d0a9@isocpp.org> References: <0087c1a4-0b36-40ca-8d43-5bfaf0af62ca@isocpp.org> <3d1ee12f-b97a-f259-b98a-831153b4245e@gmail.com> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2614_1855395153.1515946545578" X-Trace: blaine.gmane.org 1515946439 2258 195.159.176.226 (14 Jan 2018 16:13:59 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 14 Jan 2018 16:13:59 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCUJ3A7GRAPRBMUE53JAKGQE56SY4KI@isocpp.org Sun Jan 14 17:13:55 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-vk0-f69.google.com ([209.85.213.69]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eakul-0007z0-Un for gclcip-std-proposals@m.gmane.org; Sun, 14 Jan 2018 17:13:44 +0100 Original-Received: by mail-vk0-f69.google.com with SMTP id b205sf6418243vke.20 for ; Sun, 14 Jan 2018 08:15:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=NY9Huj4UxbWK6H9sjK7ZBLBVa0HJAARkFHylSdzI4Ks=; b=t5dXZ5V9ldJakmSynpq5YwzOjQjXRN8g7aSlJZblx1J9AYZJONqz0r31fakoyCbfzK QI5i6sI1PjB3q15/9IoZAQ1/hzNgQnZc2LMVWNE2iba2vxlR8Z/q+bBosMrfvzdw3PpN +EnyBgNnGoKMMIQsiWyS04AJAd6irKMlYO6ajHpThBYYtdqU9B0sA0I7uQnqdTj6z0tq 32gXAN2YKfJBzQ+VIGu/Ha1VfakXnM//6CSJhQEmawrP3dmnh4D/Q3claaTKgit6GG4f drTDcCWQLRfW0iuduzVwHIlOsAN5Dt0R3Qe9aeb7NCr/HxFPw/3n+WEmUVHH/EFyiGXP qqbw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=NY9Huj4UxbWK6H9sjK7ZBLBVa0HJAARkFHylSdzI4Ks=; b=htUIsVz1utDJdz7pMGLcWAlnedG8VNkTtH26gZsNry2tI1/n5fHq3+8hwgN4D1KbHF Ha7AhGrjr08qeAlmwLlfv5fyTQjRtedplZPB+1qWnM0ECqpvdZAzhX9VwiSD+60xhuSo aVwR6vZdbH+Rx4E034q6FuhNQvJFQ1ZV2iv9goWRGo0/ipHjPKB9rzF8ye5x1WhfB6ZL SK7+em83qi1TNtNfhDDRlxZSEexBkeBqQ+EjNCRFzwgsGToiU9N+HwFYnES4/znZnD0k FWk5D28T4Eq/ZF+Qt40lM9TSii3+8o1cYK/eUQ5/zsTlLbtMQyr5nPEroduNl6mxufTG JzLQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version:x-original-sender:reply-to:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=NY9Huj4UxbWK6H9sjK7ZBLBVa0HJAARkFHylSdzI4Ks=; b=bcExNl5ussvCjr8vpGdagxfrkiXd3ZmBV4kHlm/kCoUWDtdwnkYh/124zTF9ZNk4Ab s4wqlGhgT1G09b58Zkm+eA0NtIKaZqekTUhoe2k6jJ4OiBT6xkLvD51qqk+TYpxk3P74 fJ5glFJVgqV9KoGM3Yox1zg72GhLDBH0kP6MTFkCDw/VZlUR+rx+ACKJVG8LH8ijhfm9 xG39MgDHsTrOVqUYfdrUUN8DMnY8fLIph5nldqVybsVbFI4gBNKmYktcrNztWUwltUZz 58A7Lw/hD8kVAGomX7jYfuJv5DQJXbTQ5NyiIRWiwHYPo7jiSsKo73WuEdFPOWMt3kN/ s/Ow== X-Gm-Message-State: AKwxytdEJLK4XROVAUhEMUlHFfkUd5KX/+5HETgnHwgp8vePLKzKB0VO wjDY1RpenBeBeVQkzyS7idFkAA== X-Google-Smtp-Source: ACJfBotc58nsSGFfVa6UWnBzNIkwhIz8K8KoXSbUCpVyd8w+4c+qOm26FAUmzmuEF/FNcpZ/5VwgDg== X-Received: by 10.176.2.41 with SMTP id 38mr5895348uas.24.1515946547656; Sun, 14 Jan 2018 08:15:47 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.176.3.106 with SMTP id 97ls1800601uat.8.gmail; Sun, 14 Jan 2018 08:15:46 -0800 (PST) X-Received: by 10.31.41.214 with SMTP id p205mr1116859vkp.13.1515946546089; Sun, 14 Jan 2018 08:15:46 -0800 (PST) In-Reply-To: <3d1ee12f-b97a-f259-b98a-831153b4245e@gmail.com> X-Original-Sender: MihailNajdenov@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:36621 Archived-At: ------=_Part_2614_1855395153.1515946545578 Content-Type: multipart/alternative; boundary="----=_Part_2615_348166352.1515946545578" ------=_Part_2615_348166352.1515946545578 Content-Type: text/plain; charset="UTF-8" On Sunday, January 14, 2018 at 5:51:04 PM UTC+2, Andrey Semashev wrote: > > ... > > How does *mandating* a particular tool help language users? If you can > use a tool right now, why do you want to enforce it on everyone? > Because enforcing it creates better programs for everyone. Not enforcing it leaves it to seasoned developers only - people going to cppcon etc. Of course it will not be a wildcard, just focused uses of it. > > Also, what should we do about the platforms where such tools are not > available? > They will have worse (less) warning messages. Of course it is up to the standard and compiler writers to decide. The bar can be set very low in terms of complexity. The point is to have something, which is better then nothing. -- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/63f911aa-32dc-4c04-ac4a-c3c28cc2d0a9%40isocpp.org. ------=_Part_2615_348166352.1515946545578 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Sunday, January 14, 2018 at 5:51:04 PM UTC+2, A= ndrey Semashev wrote:
...

How does *mandating* a particular tool help language users? If you can= =20
use a tool right now, why do you want to enforce it on everyone?

Because enforcing it creates better pr= ograms for everyone. Not enforcing it leaves it to seasoned developers only= - people going to cppcon etc.
Of course it will not be a wildcar= d, just focused uses of it.=C2=A0
=C2=A0

Also, what should we do about the platforms where such tools are not=20
available?

They will have worse (less) warning me= ssages. Of course it is up to the standard and compiler writers to decide. = The bar can be set very low in terms of complexity.
The point is = to have something, which is better then nothing.
=C2=A0
=

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/63f911aa-32dc-4c04-ac4a-c3c28cc2d0a9= %40isocpp.org.
------=_Part_2615_348166352.1515946545578-- ------=_Part_2614_1855395153.1515946545578-- .