Make sure that the fortified function conditionals are constant
In _FORTIFY_SOURCE=3, the size expression may be non-constant, resulting in branches in the inline functions remaining intact and causing a tiny overhead. Clang (and in future, gcc) make sure that the -1 case is always safe, i.e. any comparison of the generated expression with (size_t)-1 is always false so that bit is taken care of. The rest is avoidable since we want the _chk variant whenever we have a size expression and it's not -1. Rework the conditionals in a uniform way to clearly indicate two conditions at compile time: - Either the size is unknown (-1) or we know at compile time that the operation length is less than the object size. We can call the original function in this case. It could be that either the length, object size or both are non-constant, but the compiler, through range analysis, is able to fold the *comparison* to a constant. - The size and length are known and the compiler can see at compile time that operation length > object size. This is valid grounds for a warning at compile time, followed by emitting the _chk variant. For everything else, emit the _chk variant. This simplifies most of the fortified function implementations and at the same time, ensures that only one call from _chk or the regular function is emitted. Signed-off-by:Siddhesh Poyarekar <siddhesh@sourceware.org> Reviewed-by:
Adhemerval Zanella <adhemerval.zanella@linaro.org>
Loading
-
mentioned in commit 0e6ebf06
-
mentioned in commit 33e03f9c
-
mentioned in commit ca0faa14
-
mentioned in commit c8ee1c85
-
mentioned in commit 39ca997a
-
mentioned in commit 9f86cde5
-
mentioned in commit 3c64e961
-
mentioned in commit 09f2d9f1
-
mentioned in commit 6e642a47
-
mentioned in commit 059f82c3
-
mentioned in commit afc15c20
-
mentioned in commit 6a97e2ba
Please register or sign in to comment