clang is miscompiled - Githubissues

hjl-tools commented 9 years ago


Bugzilla Link	25222
Resolution	FIXED
Resolved on	Oct 23, 2015 12:12
Version	trunk
OS	Linux
CC	@hfinkel,@rotateright

Extended Description

On Fedora 22/x86-64, llvm r250535 + clang r250516 miscompiles llvm/clang. These are extra failures when llvm r250535 + clang r250516 is compiled by llvm r250535 + clang r250516:

Clang :: Analysis/CheckNSError.m
Clang :: Analysis/DynamicTypePropagation.m
Clang :: Analysis/NSContainers.m
Clang :: Analysis/NSString.m
Clang :: Analysis/NewDelete-checker-test.cpp
Clang :: Analysis/#24184 .cpp
Clang :: Analysis/#2599 .m
Clang :: Analysis/additive-folding-range-constraints.c
Clang :: Analysis/additive-folding.cpp
Clang :: Analysis/array-struct-region.cpp
Clang :: Analysis/bstring.c
Clang :: Analysis/builtin-functions.cpp
Clang :: Analysis/call-invalidation.cpp
Clang :: Analysis/check-deserialization.cpp
Clang :: Analysis/comparison-implicit-casts.cpp
Clang :: Analysis/const-method-call.cpp
Clang :: Analysis/constant-folding.c
Clang :: Analysis/coverage.c
Clang :: Analysis/ctor.mm
Clang :: Analysis/cxx-for-range.cpp
Clang :: Analysis/dead-stores.c
Clang :: Analysis/dead-stores.cpp
Clang :: Analysis/derived-to-base.cpp
Clang :: Analysis/diagnostics/report-issues-within-main-file.cpp
Clang :: Analysis/diagnostics/undef-value-param.c
Clang :: Analysis/div-zero.cpp
Clang :: Analysis/dtor.cpp
Clang :: Analysis/dynamic-cast.cpp
Clang :: Analysis/edges-new.mm
Clang :: Analysis/fields.c
Clang :: Analysis/global-region-invalidation.c
Clang :: Analysis/global_region_invalidation.mm
Clang :: Analysis/initializer.cpp
Clang :: Analysis/inline-plist.c
Clang :: Analysis/inline.c
Clang :: Analysis/inline.cpp
Clang :: Analysis/inlining/DynDispatchBifurcate.m
Clang :: Analysis/inlining/InlineObjCClassMethod.m
Clang :: Analysis/inlining/InlineObjCInstanceMethod.m
Clang :: Analysis/inlining/containers.cpp
Clang :: Analysis/inlining/false-positive-suppression.c
Clang :: Analysis/inlining/inline-defensive-checks.m
Clang :: Analysis/inlining/path-notes.cpp
Clang :: Analysis/inlining/path-notes.m
Clang :: Analysis/inlining/stl.cpp
Clang :: Analysis/ivars.m
Clang :: Analysis/keychainAPI-diagnostic-visitor.m
Clang :: Analysis/keychainAPI.m
Clang :: Analysis/lambda-notes.cpp
Clang :: Analysis/lambdas.cpp
Clang :: Analysis/malloc-interprocedural.c
Clang :: Analysis/malloc-overflow2.c
Clang :: Analysis/malloc.c
Clang :: Analysis/malloc.m
Clang :: Analysis/member-expr.cpp
Clang :: Analysis/method-call-intra-p.cpp
Clang :: Analysis/misc-ps-cxx0x.cpp
Clang :: Analysis/misc-ps-eager-assume.m
Clang :: Analysis/misc-ps-ranges.m
Clang :: Analysis/misc-ps-region-store.cpp
Clang :: Analysis/misc-ps-region-store.m
Clang :: Analysis/misc-ps.c
Clang :: Analysis/misc-ps.m
Clang :: Analysis/model-file.cpp
Clang :: Analysis/new.cpp
Clang :: Analysis/null-deref-ps.c
Clang :: Analysis/nullability.mm
Clang :: Analysis/nullptr.cpp
Clang :: Analysis/objc-arc.m
Clang :: Analysis/objc-bool.m
Clang :: Analysis/objc-for.m
Clang :: Analysis/objc-message.m
Clang :: Analysis/operator-calls.cpp
Clang :: Analysis/outofbound.c
Clang :: Analysis/plist-macros.cpp
Clang :: Analysis/plist-output.m
Clang :: Analysis/pointer-to-member.cpp
Clang :: Analysis/pr22954.c
Clang :: Analysis/properties.m
Clang :: Analysis/properties.mm
Clang :: Analysis/ptr-arith.c
Clang :: Analysis/reference.cpp
Clang :: Analysis/retain-release-region-store.m
Clang :: Analysis/retain-release.m
Clang :: Analysis/self-init.m
Clang :: Analysis/simple-stream-checks.c
Clang :: Analysis/string.c
Clang :: Analysis/taint-generic.c
Clang :: Analysis/taint-tester.c
Clang :: Analysis/temp-obj-dtors-cfg-output.cpp
Clang :: Analysis/templates.cpp
Clang :: Analysis/temporaries.cpp
Clang :: Analysis/test-after-div-zero.c
Clang :: Analysis/uninit-vals-ps-region.m
Clang :: Analysis/uninit-vals-ps.c
Clang :: Analysis/uninit-vals.m
Clang :: Analysis/unions.cpp
Clang :: Analysis/unreachable-code-path.c
Clang :: Analysis/weak-functions.c
Clang :: Sema/exprs.c
Clang :: Sema/shift.c
Clang :: Sema/uninit-variables.c
Clang :: Sema/warn-unreachable.c
Clang :: SemaCXX/runtimediag-ppe.cpp
Clang :: SemaCXX/uninitialized.cpp
Clang :: SemaCXX/warn-infinite-recursion.cpp
Clang :: SemaCXX/warn-thread-safety-analysis.cpp

llvm r250513 + clang r250503 was OK.

rotateright commented 9 years ago

The patch was recommitted with a fix at: http://reviews.llvm.org/rL250743

Please let me know if you see any other problems from it. Thanks!

rotateright commented 9 years ago

Looks like this is due to my commit: http://llvm.org/viewvc/llvm-project?view=revision&revision=250527

(reverted at r250570)

Any hints about how to reduce a test case from this failure would be much appreciated.

llvm / llvm-project

clang is miscompiled #25596

Extended Description