ACK: [PATCH] smatchify: add two passes option

Alex Hung alex.hung at canonical.com
Mon Mar 7 10:19:19 UTC 2016


On 03/03/2016 04:42 PM, 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: Alex Hung <alex.hung at canonical.com>



More information about the fwts-devel mailing list