Skip to content

Commit 2b65033

Browse files
committed
refs: forbid clang to complain about unreachable code
When `NO_SYMLINK_HEAD` is defined, `create_ref_symlink()` is hard-coded as `(-1)`, and as a consequence the condition `!create_ref_symlink()` always evaluates to false, rendering any code guarded by that condition unreachable. Therefore, clang is _technically_ correct when it complains about unreachable code. It does completely miss the fact that this is okay because on _other_ platforms, where `NO_SYMLINK_HEAD` is not defined, the code isn't unreachable at all. Let's use the same trick as in 82e79c6 (git-compat-util: add NOT_CONSTANT macro and use it in atfork_prepare(), 2025-03-17) to appease clang while at the same time keeping the `-Wunreachable` flag to potentially find _actually_ unreachable code. Signed-off-by: Johannes Schindelin <[email protected]>
1 parent 5a05d17 commit 2b65033

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

refs/files-backend.c

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3183,7 +3183,13 @@ static int files_transaction_finish(struct ref_store *ref_store,
31833183
* next update. If not, we try and create a regular symref.
31843184
*/
31853185
if (update->new_target && refs->prefer_symlink_refs)
3186-
if (!create_ref_symlink(lock, update->new_target))
3186+
/*
3187+
* By using the `NOT_CONSTANT()` trick, we can avoid
3188+
* errors by `clang`'s `-Wunreachable` logic that would
3189+
* report that the `continue` statement is not reachable
3190+
* when `NO_SYMLINK_HEAD` is `#define`d.
3191+
*/
3192+
if (NOT_CONSTANT(!create_ref_symlink(lock, update->new_target)))
31873193
continue;
31883194

31893195
if (update->flags & REF_NEEDS_COMMIT) {

0 commit comments

Comments
 (0)