Skip to content

Commit 04e9a7c

Browse files
committed
SIL: Use require() instead of assert() in the verifier
1 parent 9220dff commit 04e9a7c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lib/SIL/SILVerifier.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4944,8 +4944,8 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
49444944
if (F->hasForeignBody())
49454945
return;
49464946

4947-
assert(F->isAvailableExternally() &&
4948-
"external declaration of internal SILFunction not allowed");
4947+
require(F->isAvailableExternally(),
4948+
"external declaration of internal SILFunction not allowed");
49494949
// If F is an external declaration, there is nothing further to do,
49504950
// return.
49514951
return;

0 commit comments

Comments
 (0)