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