[PATCH] D76856: Fix TBAA for unsigned fixed-point types

2020-03-26 Thread mattias.v.eriks...@ericsson.com via Phabricator via cfe-commits
materi created this revision. materi added reviewers: ebevhan, leonardchan. Herald added a subscriber: kosarev. Herald added a project: clang. Unsigned types can alias the corresponding signed types. I don't see that this is explicitly mentioned in the Embedded-C specification, but I think it shou

[PATCH] D38101: [Sema] Diagnose tautological comparison with type's min/max values

2017-10-20 Thread mattias.v.eriks...@ericsson.com via Phabricator via cfe-commits
materi added a comment. In https://reviews.llvm.org/D38101#901733, @lebedev.ri wrote: > In https://reviews.llvm.org/D38101#901709, @materi wrote: > > > Hi! > > > Hi. > > > After this patch I started to see warnings: > > Thank you for the report! > > > e.c:8:23: warning: integer constant not in

[PATCH] D38101: [Sema] Diagnose tautological comparison with type's min/max values

2017-10-19 Thread mattias.v.eriks...@ericsson.com via Phabricator via cfe-commits
materi added a comment. Hi! After this patch I started to see warnings: e.c:8:23: warning: integer constant not in range of enumerated type 'enum E' [-Wassign-enum] enum E {a = 7,} e = 1000; ^ e.c:10:12: warning: comparison 'enum E' > 7 is always false [-Wtautol