Da es sich um eine Pin-Abfrage handelt, existiert die Möglichkeit, daß
die zweite Bedingung scheitern könnte, übrigens nicht nur theoretisch,
sondern auch praktisch, denn der Pin könnte seinen Zustand ja zwischen
den zwei Tests geändert haben.
Was mich aber erstaunt ist, daß der Compiler so ein Konstrukt selbst bei
normalen Variablen (nicht volatile) anmeckert, obwohl er da den zweiten
Test einfach wegoptimieren dürfte. Mag aber sein, daß die Warnung
erzeugt wird, bevor der Optimierer zum Zuge kommt.