ACK: [PATCH] smatchify: add two passes option
ivanhu
ivan.hu at canonical.com
Fri Mar 4 08:17:03 UTC 2016
On 2016年03月04日 08:42, Colin King wrote:
> From: Colin Ian King <colin.king at canonical.com>
>
> Use the --two-passes option for better static analysis
>
> Signed-off-by: Colin Ian King <colin.king at canonical.com>
> ---
> smatchify.sh | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/smatchify.sh b/smatchify.sh
> index 6034ce9..a0912cf 100755
> --- a/smatchify.sh
> +++ b/smatchify.sh
> @@ -98,7 +98,7 @@ smatch_fwts()
> ./configure > /dev/null
> make clean
>
> - make CHECK="${HERE}/${SMATCH_DIR}/smatch --full-path" \
> + make CHECK="${HERE}/${SMATCH_DIR}/smatch --full-path --two-passes" \
> CC="${HERE}/${SMATCH_DIR}/cgcc $INCLUDES" | tee smatch.log
> }
>
Acked-by: Ivan Hu <ivan.hu at canonical.com>
More information about the fwts-devel
mailing list