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