llvm/llvm-project

Improve -Wparentheses for arbitrary bool contexts

Open

#33.528 aberto em 14 de ago. de 2017

Ver no GitHub
 (14 comments) (0 reactions) (1 assignee)C++ (10.782 forks)batch import
bugzillaclang:diagnosticsgood first issue

Métricas do repositório

Stars
 (26.378 stars)
Métricas de merge de PR
 (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)

Description
Bugzilla Link 34180
Version unspecified
OS Linux
CC @m4tx,@zygoloid

Extended Description

https://godbolt.org/g/Ca2Xtv

bool f(int x) { return x = 0; }

GCC gives:

:2:16: warning: suggest parentheses around assignment used as truth value [-Wparentheses] return x = 0; ^

This would have caught a bug in r310794 (https://reviews.llvm.org/rL310794)

I don't know for sure, but from the reduced test case, it seems that GCC is just seeing when an assignment is used in a bool-typed context? E.g. just bool(x = 0) seems to trigger it. https://godbolt.org/g/HyBZHM Looking at the two examples, it looks like ImplicitCastExpr to bool is probably the thing to look for. ImplicitCastExpr 0x4fce318 <col:12, col:16> '_Bool' ImplicitCastExpr 0x4fce578 <col:17, col:21> '_Bool'

Guia do colaborador

Direção de pesquisa
Pesquise no código Sema ou Diagnostic do Clang pelos avisos Wparentheses existentes. Procure por lugares onde expressões de atribuição são verificadas em contextos booleanos (por exemplo, em condicionais ou instruções return). O problema sugere procurar por ImplicitCastExpr para bool (IntegralToBoolean). Verifique a AST do Clang e o aviso relacionado a parênteses em torno de atribuição. Implemente uma nova verificação que avise quando uma atribuição for usada como valor booleano, semelhante ao Wparentheses do GCC. Veja o código existente em lib/Sema/SemaChecking.cpp ou similar.
Pilha de tecnologia
cpp
Domain
compilers
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
GitC++LLVM/Clang internals
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30