# git rev-parse -q --verify d652d5f1eeeb06046009f4fcb9b4542249526916^{commit} d652d5f1eeeb06046009f4fcb9b4542249526916 already have revision, skipping fetch # git checkout -q -f -B kisskb d652d5f1eeeb06046009f4fcb9b4542249526916 # git clean -qxdf # < git log -1 # commit d652d5f1eeeb06046009f4fcb9b4542249526916 # Author: Linus Torvalds # Date: Thu Dec 17 09:27:57 2020 -0800 # # drm/edid: fix objtool warning in drm_cvt_modes() # # Commit 991fcb77f490 ("drm/edid: Fix uninitialized variable in # drm_cvt_modes()") just replaced one warning with another. # # The original warning about a possibly uninitialized variable was due to # the compiler not being smart enough to see that the case statement # actually enumerated all possible cases. And the initial fix was just to # add a "default" case that had a single "unreachable()", just to tell the # compiler that that situation cannot happen. # # However, that doesn't actually fix the fundamental reason for the # problem: the compiler still doesn't see that the existing case # statements enumerate all possibilities, so the compiler will still # generate code to jump to that unreachable case statement. It just won't # complain about an uninitialized variable any more. # # So now the compiler generates code to our inline asm marker that we told # it would not fall through, and end end result is basically random. We # have created a bridge to nowhere. # # And then, depending on the random details of just exactly what the # compiler ends up doing, 'objtool' might end up complaining about the # conditional branches (for conditions that cannot happen, and that thus # will never be taken - but if the compiler was not smart enough to figure # that out, we can't expect objtool to do so) going off in the weeds. # # So depending on how the compiler has laid out the result, you might see # something like this: # # drivers/gpu/drm/drm_edid.o: warning: objtool: do_cvt_mode() falls through to next function drm_mode_detailed.isra.0() # # and now you have a truly inscrutable warning that makes no sense at all # unless you start looking at whatever random code the compiler happened # to generate for our bare "unreachable()" statement. # # IOW, don't use "unreachable()" unless you have an _active_ operation # that generates code that actually makes it obvious that something is not # reachable (ie an UD instruction or similar). # # Solve the "compiler isn't smart enough" problem by just marking one of # the cases as "default", so that even when the compiler doesn't otherwise # see that we've enumerated all cases, the compiler will feel happy and # safe about there always being a valid case that initializes the 'width' # variable. # # This also generates better code, since now the compiler doesn't generate # comparisons for five different possibilities (the four real ones and the # one that can't happen), but just for the three real ones and "the rest" # (which is that last one). # # A smart enough compiler that sees that we cover all the cases won't care. # # Cc: Lyude Paul # Cc: Ilia Mirkin # Cc: Josh Poimboeuf # Cc: Peter Zijlstra # Signed-off-by: Linus Torvalds # < /opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux-gcc --version # < /opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux-ld --version # < git log --format=%s --max-count=1 d652d5f1eeeb06046009f4fcb9b4542249526916 # < make -s -j 32 ARCH=sparc64 O=/kisskb/build/linus_sparc64-allmodconfig_sparc64 CROSS_COMPILE=/opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux- allmodconfig # Added to kconfig CONFIG_BUILD_DOCSRC=n # Added to kconfig CONFIG_HAVE_FTRACE_MCOUNT_RECORD=n # Added to kconfig CONFIG_SAMPLES=n # Added to kconfig CONFIG_MODULE_SIG=n # < make -s -j 32 ARCH=sparc64 O=/kisskb/build/linus_sparc64-allmodconfig_sparc64 CROSS_COMPILE=/opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux- help # make -s -j 32 ARCH=sparc64 O=/kisskb/build/linus_sparc64-allmodconfig_sparc64 CROSS_COMPILE=/opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux- olddefconfig # make -s -j 32 ARCH=sparc64 O=/kisskb/build/linus_sparc64-allmodconfig_sparc64 CROSS_COMPILE=/opt/cross/kisskb/br-sparc64-full-2016.08-613-ge98b4dd/bin/sparc64-linux- :1511:2: warning: #warning syscall clone3 not implemented [-Wcpp] In file included from /kisskb/src/include/linux/kernel.h:14:0, from /kisskb/src/include/linux/list.h:9, from /kisskb/src/include/linux/module.h:12, from /kisskb/src/drivers/gpu/drm/ttm/ttm_pool.c:34: /kisskb/src/drivers/gpu/drm/ttm/ttm_pool.c: In function 'ttm_pool_alloc': /kisskb/src/include/linux/minmax.h:18:28: warning: comparison of distinct pointer types lacks a cast (!!(sizeof((typeof(x) *)1 == (typeof(y) *)1))) ^ /kisskb/src/include/linux/minmax.h:32:4: note: in expansion of macro '__typecheck' (__typecheck(x, y) && __no_side_effects(x, y)) ^ /kisskb/src/include/linux/minmax.h:42:24: note: in expansion of macro '__safe_cmp' __builtin_choose_expr(__safe_cmp(x, y), \ ^ /kisskb/src/include/linux/minmax.h:51:19: note: in expansion of macro '__careful_cmp' #define min(x, y) __careful_cmp(x, y, <) ^ /kisskb/src/drivers/gpu/drm/ttm/ttm_pool.c:378:15: note: in expansion of macro 'min' for (order = min(MAX_ORDER - 1UL, __fls(num_pages)); num_pages; ^ /kisskb/src/drivers/input/joystick/analog.c:160:2: warning: #warning Precise timer not defined for this architecture. [-Wcpp] #warning Precise timer not defined for this architecture. ^ kernel: arch/sparc/boot/image is ready kernel: arch/sparc/boot/zImage is ready Completed OK # rm -rf /kisskb/build/linus_sparc64-allmodconfig_sparc64 # Build took: 0:18:24.904623