| ; RUN: opt %loadPolly -polly-detect-full-functions -polly-scop-inliner \ | |
| ; RUN: -polly-scops -disable-output < %s | |
| ; Check that we do not crash if there are declares. We should skip function | |
| ; declarations and not try to query for domtree. | |
| declare void @foo() | |