llvm/llvm-project

Improve -Wparentheses for arbitrary bool contexts

Open

#33.528 geöffnet am 14. Aug. 2017

Auf GitHub ansehen
 (14 Kommentare) (0 Reaktionen) (1 zugewiesene Person)C++ (10.782 Forks)batch import
bugzillaclang:diagnosticsgood first issue

Repository-Metriken

Stars
 (26.378 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)

Beschreibung
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'

Contributor Guide

Research-Richtung
Durchsuchen Sie den Clang Sema oder Diagnostic Code nach vorhandenen Wparentheses Warnungen. Suchen Sie nach Stellen, an denen Zuweisungsausdrücke in booleschen Kontexten überprüft werden (z.B. in Bedingungen oder return Anweisungen). Das Problem schlägt vor, nach ImplicitCastExpr nach bool (IntegralToBoolean) zu suchen. Überprüfen Sie den Clang AST und die Warnung zu Klammern um Zuweisungen. Implementieren Sie eine neue Prüfung, die warnt, wenn eine Zuweisung als boolescher Wert verwendet wird, ähnlich wie GCCs Wparentheses. Siehe vorhandenen Code in lib/Sema/SemaChecking.cpp oder ähnlich.
Tech Stack
cpp
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
GitC++LLVM/Clang internals
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30