From nobody Thu Feb 12 03:00:11 2026 Received: from mail-ej1-f42.google.com (mail-ej1-f42.google.com [209.85.218.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 5561917552; Mon, 1 Apr 2024 20:45:37 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.218.42 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004339; cv=none; b=MTHJUogmpeT+YVq1ECuBezUoTdfcRrN2SvzF4Nivf3u4SHMW0gAsTfhKW6/CpEAEL3nJckFfxvBJnbjfQSLGECZZTyHVRR+fXgnKUSQ7eEEoCm2G8Z3up8/p+LQ4mvJtdns6Y9CYnOghMb7Y2RJgV98AjfVnjMD5ZzrgoS3pMIE= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004339; c=relaxed/simple; bh=DGZycoG/+6zZqZZVmTB3nd3K6WZ3LQItRHg9esmxBD4=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=VuIb+Enni+vr+kBXlw/n+osdxr18ooOtiRoqNyRAdbdZWjlci+ztSCmq/MHE/WJ8LOajQ91BQcjuZ17nW81AiED0hFbKsXh0u1n8k9ZjbqJCktPn0GYmpgo4UVX4lKmlDfM70OrOeqRL0ji7uANTHAh8QnhqMsZgFqja2su27HU= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=XIiCsOtm; arc=none smtp.client-ip=209.85.218.42 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="XIiCsOtm" Received: by mail-ej1-f42.google.com with SMTP id a640c23a62f3a-a44665605f3so497269366b.2; Mon, 01 Apr 2024 13:45:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1712004336; x=1712609136; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=ze5m9pU4VAoww/ZXiCsoFMWeDLEC0zqWwwSMDVFKCNY=; b=XIiCsOtmZfnrXpxQkYw0MZ61POcyigK6+XmWWlOZpDpNhbCVaSY0yJsSA2nLmpnXqj nvrihaowFyYJ+xf8NeAEDc/VccJ/GixY2Wx3sXc4eg8zh9ZJ+n2Ui5aap0qF9Ow00hPl /6YcMbR66aUyIrz0A7bJZ6ItL2WGhwzcGb3QNiQbsRcU85Sa4Ti3bQcuhkn06T3uvv0u IuAquus7Nnl/uO+Hs8fUA1Beaox+Etm5UNyrO5NmCnvPvMPo8Kvx2d9tsv4NTghGoB8Q SH4LOk70/D/jeXKJ0U85f8N/0YbduFhEbBLxeCFAJKK8D/nksl17i0rImoCVPJJd/N8m IVTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712004336; x=1712609136; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ze5m9pU4VAoww/ZXiCsoFMWeDLEC0zqWwwSMDVFKCNY=; b=cIyOaFm6d6SJyTnoUZ0HSxPKEWuaYmapIyF/vDSHL6qGZ5OJaSz6KhT2OW7VZW3KiF BGkrLyfDszvwLPFS2I5ddn5IHNf3In7dbVx2LnAmvZhhQj5j+8cLWVAfbF+xk74YG8zE BEpHnxzENN6uLFRbFYN/ALcIX6ftUmF8nP76DrsU7G52dQZLH5iqkc4CwWjTbnBU5diC Qz3K/ngm6240MqN1SnMMxFdy9+KJck29hp7tnf83xi5jCu1yC0+juTgBE9NJsiDA8ZlX onEgEexTA1yLULFsfO4WwkxczXAwDZKu141IAJ0qcKWAWBiAQfcVCtZfD5zXpDtcluTZ WpXw== X-Forwarded-Encrypted: i=1; AJvYcCU7TK6RXqs7KWkSihN/fbGjFa3XrP4oK/hgcz1DzDCy7stz0nLxyR0MoWvD/j5hOnrVoe6inTFVdvoImrhRlNoSIIk0XvN+mbCtS3Ed X-Gm-Message-State: AOJu0Yzy/r/j2gFLvoRCi3kybq966/H2fLDD6kZG9zZxVcqts45jOnv4 raldKGZlOReK+CeBHTIjCnV0Ygv2HJ4QBTl0P+HqWWB2OjIxYdJO X-Google-Smtp-Source: AGHT+IFB3CglDKr5Nz/bubGO8prjCDJN5uWY6h3ggeORYvQ5McMEeKVn6J2OTscWkf9WzgmIDgfuRg== X-Received: by 2002:a17:907:980d:b0:a4e:37e1:62f4 with SMTP id ji13-20020a170907980d00b00a4e37e162f4mr7825118ejc.18.1712004335424; Mon, 01 Apr 2024 13:45:35 -0700 (PDT) Received: from localhost.localdomain (2a02-8389-41cf-e200-5145-c12f-55fb-574a.cable.dynamic.v6.surfer.at. [2a02:8389:41cf:e200:5145:c12f:55fb:574a]) by smtp.gmail.com with ESMTPSA id l3-20020a1709067d4300b00a466af74ef2sm5646751ejp.2.2024.04.01.13.45.34 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Apr 2024 13:45:34 -0700 (PDT) From: Javier Carrasco To: dan.carpenter@linaro.org, javier.carrasco.cruz@gmail.com Cc: smatch@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH 1/3] Documentation/smatch: fix paths in the examples Date: Mon, 1 Apr 2024 22:45:10 +0200 Message-Id: <20240401204512.538453-2-javier.carrasco.cruz@gmail.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> References: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" A few examples use the '~/progs/smatch/devel/smatch_scripts/' path, which seems to be a local reference that does not reflect the real paths in the project (one would not expect 'devel' inside 'smatch'). Use the generic '~/path/to/smatch_dir/' path, which is already used in some examples. Signed-off-by: Javier Carrasco --- Documentation/smatch.txt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Documentation/smatch.txt b/Documentation/smatch.txt index 59106d49..b2c3ac4e 100644 --- a/Documentation/smatch.txt +++ b/Documentation/smatch.txt @@ -39,7 +39,7 @@ For projects other than the kernel you run Smatch with th= e options "--call-tree --info --param-mapper --spammy" and finish building the database by running the script: - ~/progs/smatch/devel/smatch_data/db/create_db.sh + ~/path/to/smatch_dir/smatch_data/db/create_db.sh Each time you rebuild the cross function database it becomes more accurate= . I normally rebuild the database every morning. @@ -47,18 +47,18 @@ normally rebuild the database every morning. If you are running Smatch over the whole kernel you can use the following command: - ~/progs/smatch/devel/smatch_scripts/test_kernel.sh + ~/path/to/smatch_dir/smatch_scripts/test_kernel.sh The test_kernel.sh script will create a .c.smatch file for every file it t= ests and a combined smatch_warns.txt file with all the warnings. If you are running Smatch just over one kernel file: - ~/progs/smatch/devel/smatch_scripts/kchecker drivers/whatever/file.c + ~/path/to/smatch_dir/smatch_scripts/kchecker drivers/whatever/file.c You can also build a directory like this: - ~/progs/smatch/devel/smatch_scripts/kchecker drivers/whatever/ + ~/path/to/smatch_dir/smatch_scripts/kchecker drivers/whatever/ The kchecker script prints its warnings to stdout. @@ -69,8 +69,8 @@ Smatch with kernels that are normally built with cross-co= mpilers. If you are building something else (which is not the Linux kernel) then use something like: - make CHECK=3D"~/progs/smatch/devel/smatch --full-path" \ - CC=3D~/progs/smatch/devel/smatch/cgcc | tee smatch_warns.txt + make CHECK=3D"~/path/to/smatch_dir/smatch --full-path" \ + CC=3D~/path/to/smatch_dir/smatch/cgcc | tee smatch_warns.txt The makefile has to let people set the CC with an environment variable for= that to work, of course. -- 2.40.1 From nobody Thu Feb 12 03:00:11 2026 Received: from mail-ej1-f46.google.com (mail-ej1-f46.google.com [209.85.218.46]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 8CBD053E16; Mon, 1 Apr 2024 20:45:38 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.218.46 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004340; cv=none; b=m98MiyCL5o5Ur3sZaJXSOBrInvdXqEPkJ9ed0SG6XPgPS+nKgGYtdn3fZmnXVwr/+6myLQdbnwD/m63hpn5x5zowuEh4KLCfUL0NdvNG04dZ+LUqQx2YJXPXHRhpvHh1EpZQ2oYd+fJJZLiAPS1//jWekXaLHfVE5x70IDQNcJ8= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004340; c=relaxed/simple; bh=/fleXBNYAYU3E77ArQ+/9CqE2wRzAKHtMfKgZTlcNMM=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=BYVVoOaN7E1GuN5TDV9ryw2FToZURjTJsgd58qPWudOn26bvR/S/aX3exxreE/vwpHeY7oLyKK83z2gPuI+2377pW41qH96PM6lua6r5kAcnNEUD/JsidQbXMv02WMYvUmhjO3nRqWqv72xMDuKJk/VOUjIr93F56E56PhpgiV8= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=LZ9iBvPQ; arc=none smtp.client-ip=209.85.218.46 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="LZ9iBvPQ" Received: by mail-ej1-f46.google.com with SMTP id a640c23a62f3a-a4e5ee91879so200627966b.3; Mon, 01 Apr 2024 13:45:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1712004337; x=1712609137; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Wrp24nKKQiBtqi68g4W7Q5hiUOZC7GtVZoFpsiai5/w=; b=LZ9iBvPQy/Ms80jH/KajcEOV4NQTH8Y2yy938CYVJEHca+RECGxXy/nSvFFJFAwE2T LfrNNqAMHZVJ4ohEH0pbJeT4EfjVMCAG5QNvpLNURRthWgKo+Azp9D5gh5eDImLQlLg5 Gdi2JXAv0OQVEjIemFpeVM9YBYtjdi3mkDrYXQpnoLq65hIGGAg7EXexg9Qo+rcP64Qu hCKWWzLardV2ndIPG8+z0VRhWl++At7oUthvvNTqiS/35rZv40q7orYeYUw/CwXr9yF9 aXT1BFttUT/Y1U8OPuVKN+asO2rhdaR2kJIHvYw/5fjy9blmiGtybXF9ZdFYn3ZwStup qr7A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712004337; x=1712609137; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Wrp24nKKQiBtqi68g4W7Q5hiUOZC7GtVZoFpsiai5/w=; b=UAAOeM4F2mgSxEITRoagmefuw+GFjw6HfXJCoP1xc3kIitG9WwSDzs8N7JNXj3P7sc Yz2Pq97nh0Hkqam9cIfvxQI+rPBsd8wJJKy68THFdiVhVp9xegTlaORdtPSYhVdnxDgS HgD0OdawXQVWkeCbdho2ifjMfmNC6IBD7ViW9OB+L8a3KneFYPHBoMypR1tfZdS2faoo NV74/Bw+80nmyJHvYjaAKShXN7oUs/u2LBrXaxrSal90jkLsPoRVN1zrcfzjvj/LRJi3 VX/YW/qBHkxFWjtgAsjkEBdaM36rHsaTSea7MB91Qv556RGYbYlDFfmAj0AFAGADzr+A GGng== X-Forwarded-Encrypted: i=1; AJvYcCUhe6p9lzRE++dXvn/VAexcnNr8zN+9yFFjEo/Gb25YDHCGj7l+TZ48cFE7+JHGnHRNDzUfK0++u5g20wXu5gzIYkkADQ/pAN+yHyLa X-Gm-Message-State: AOJu0YxKH+wPxPcmZw4U0e0xVJWPC73FJA7UUz5UqIiCMGanUdDMkBGO yNbpeFAL59IDB5jf+cr0bMCTQZESiNa3rLIPzcpXcpX3RXiWg1N6SbGwp5+gbbM= X-Google-Smtp-Source: AGHT+IH2WZInKwDy7nlpjgO3Q8RIsWQfbAsSN8X8rvcgftsTthzXUU2OfG+ckdV4ImjMhjilLXCuBQ== X-Received: by 2002:a17:906:fe0d:b0:a4e:7f22:cfc2 with SMTP id wy13-20020a170906fe0d00b00a4e7f22cfc2mr882350ejb.28.1712004336811; Mon, 01 Apr 2024 13:45:36 -0700 (PDT) Received: from localhost.localdomain (2a02-8389-41cf-e200-5145-c12f-55fb-574a.cable.dynamic.v6.surfer.at. [2a02:8389:41cf:e200:5145:c12f:55fb:574a]) by smtp.gmail.com with ESMTPSA id l3-20020a1709067d4300b00a466af74ef2sm5646751ejp.2.2024.04.01.13.45.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Apr 2024 13:45:36 -0700 (PDT) From: Javier Carrasco To: dan.carpenter@linaro.org, javier.carrasco.cruz@gmail.com Cc: smatch@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH 2/3] Documentation/smatch: convert to RST Date: Mon, 1 Apr 2024 22:45:11 +0200 Message-Id: <20240401204512.538453-3-javier.carrasco.cruz@gmail.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> References: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Convert existing smatch documentation to RST, and add it to the index accordingly. Signed-off-by: Javier Carrasco --- Documentation/index.rst | 1 + Documentation/{smatch.txt =3D> smatch.rst} | 56 +++++++++++++----------- 2 files changed, 31 insertions(+), 26 deletions(-) rename Documentation/{smatch.txt =3D> smatch.rst} (72%) diff --git a/Documentation/index.rst b/Documentation/index.rst index e29a5643..761acbae 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -86,6 +86,7 @@ Some interesting external documentation: test-suite doc-guide TODO + smatch .. toctree:: :caption: Release Notes diff --git a/Documentation/smatch.txt b/Documentation/smatch.rst similarity index 72% rename from Documentation/smatch.txt rename to Documentation/smatch.rst index b2c3ac4e..f209c8fb 100644 --- a/Documentation/smatch.txt +++ b/Documentation/smatch.rst @@ -1,43 +1,46 @@ +=3D=3D=3D=3D=3D=3D Smatch +=3D=3D=3D=3D=3D=3D -0. Introduction -1. Building Smatch -2. Using Smatch -3. Smatch vs Sparse +.. Table of Contents: -Section 0: Introduction +.. contents:: :local: + + +0. Introduction +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The Smatch mailing list is . -Section 1: Building Smatch ---------------------------- +1. Building Smatch +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Smatch needs some dependencies to build: -In Debian run: -apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libssl= -dev libtry-tiny-perl +In Debian run:: -Or in Fedora run: -yum install gcc make sqlite3 sqlite-devel sqlite perl-DBD-SQLite openssl-d= evel perl-Try-Tiny + apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libss= l-dev libtry-tiny-perl -Smatch is easy to build. Just type `make`. There isn't an install process -right now so just run it from the build directory. +Or in Fedora run:: + + yum install gcc make sqlite3 sqlite-devel sqlite perl-DBD-SQLite openssl-= devel perl-Try-Tiny +Smatch is easy to build. Just type ``make``. There isn't an install proc= ess +right now so just run it from the build directory. -Section 2: Using Smatch ------------------------- +2. Using Smatch +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Smatch can be used with a cross function database. It's not mandatory to build the database but it's a useful thing to do. Building the database for the kernel takes 2-3 hours on my computer. For the kernel you build -the database with: +the database with:: - cd ~/path/to/kernel_dir - ~/path/to/smatch_dir/smatch_scripts/build_kernel_data.sh + cd ~/path/to/kernel_dir ~/path/to/smatch_dir/smatch_scripts/build_kernel_= data.sh For projects other than the kernel you run Smatch with the options "--call-tree --info --param-mapper --spammy" and finish building the -database by running the script: +database by running the script:: ~/path/to/smatch_dir/smatch_data/db/create_db.sh @@ -45,21 +48,23 @@ Each time you rebuild the cross function database it be= comes more accurate. I normally rebuild the database every morning. If you are running Smatch over the whole kernel you can use the following -command: +command:: ~/path/to/smatch_dir/smatch_scripts/test_kernel.sh The test_kernel.sh script will create a .c.smatch file for every file it t= ests and a combined smatch_warns.txt file with all the warnings. -If you are running Smatch just over one kernel file: +If you are running Smatch just over one kernel file:: ~/path/to/smatch_dir/smatch_scripts/kchecker drivers/whatever/file.c -You can also build a directory like this: +You can also build a directory like this:: + ~/path/to/smatch_dir/smatch_scripts/kchecker drivers/whatever/ + The kchecker script prints its warnings to stdout. The above scripts will ensure that any ARCH or CROSS_COMPILE environment @@ -67,7 +72,7 @@ variables are passed to kernel build system - thus allowi= ng for the use of Smatch with kernels that are normally built with cross-compilers. If you are building something else (which is not the Linux kernel) then use -something like: +something like:: make CHECK=3D"~/path/to/smatch_dir/smatch --full-path" \ CC=3D~/path/to/smatch_dir/smatch/cgcc | tee smatch_warns.txt @@ -75,9 +80,8 @@ something like: The makefile has to let people set the CC with an environment variable for= that to work, of course. - -Section 3: Smatch vs Sparse ----------------------------- +3. Smatch vs Sparse +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Smatch uses Sparse as a C parser. I have made a few hacks to Sparse so I have to distribute the two together. Sparse is released under the MIT lic= ense -- 2.40.1 From nobody Thu Feb 12 03:00:11 2026 Received: from mail-lf1-f41.google.com (mail-lf1-f41.google.com [209.85.167.41]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id B3BAA54FBB; Mon, 1 Apr 2024 20:45:40 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.167.41 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004342; cv=none; b=KzyWcWH/m3IbmAbVBaQSshasMErOC0QrDeQnca3KLV18vr8UJ0nFBBiSEduV7Y/Ga4/PRW2bMCEtkcHKol4yIwTpdEdAzhhyhO2YsL32pklBFFyDxIVpveqirgPzVVAVarGWmg8Dqz9t7tdPgdcvf/QNLre6SmEuuVObwMUMmDk= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1712004342; c=relaxed/simple; bh=sua5VLA6KkFsQ6NzCcOvzTLprrreYLIRA3mEbWhHLQc=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=SKzqmcWXKWXkPlQvDk0WlJXohWW6Pce1ajKJHlMkHSv0v8WXpd7VZ3R6TglxsFSH1sNeJT1JqJTX2q6/TlKumgSr58vakdQoOqWwA7Cp0ygokZsqssoSN/Ne3hxS22MNpLDqZu1bfWD1MzHnvJz2oz5ZLRcYjc9dZW6PVbsHaqc= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=EC540SP4; arc=none smtp.client-ip=209.85.167.41 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="EC540SP4" Received: by mail-lf1-f41.google.com with SMTP id 2adb3069b0e04-516a97b3139so1345138e87.2; Mon, 01 Apr 2024 13:45:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1712004339; x=1712609139; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=CEuR9ElxhRqiM1XIhL4AsfoADbljcyobBZXJVqn5wzI=; b=EC540SP4Ckol5oEv1Od0wrI1yMQN/YDJtGKMjbAqM+0knc35m5utzMq8kBVMjAaOud eieyAweF8uA7S/Tkjz2cG92/jKk4nwt8aDl7nF4zKDcx7JveOU1qxw55GAD4t8IXh7zF TXowf59fOBrucwJdRgSdt6Wn3V8JptDqTHEAQqywuvm9BD+WKIFLu4e/rxBtpOQ0LuCm hmdrJFQshrj23hrXDJjXqhJqWRc6IuUThKTciRKu3r+nSlKUxslAWB3NvD8MYAH/F8yW /KbicmYUoAAKbLcoQu08efC/nkmRoQ5EzTr9PXCpAux6q+FO2VIZ1xAw2n0j2sq3bJf/ byrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712004339; x=1712609139; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=CEuR9ElxhRqiM1XIhL4AsfoADbljcyobBZXJVqn5wzI=; b=ZPSavsoafVFRV/qNPj6Zaipyipr1tCHoM9WyQmshPzhVnalzWNajcjT5zBAqFuZIhZ QQm4NOBD6MIqCs0bFb4IQmdjEl7AIJ/UeuXkpGRf5B3rO376+jEzWDZT28s64NJhiwnQ t0UlVIpLskQB1Xm6vJDdq4OPupGynjObAfBV4wLSEZWvX41ugnabsOdqqtnAZrsktfRk 9bDpQog0RjD29KQ4WyDUEpIwKw5/dIXhMleEfWyHrVtVwxi6QtoynVDNM0VA+Lydx2dt UjWC9/0PIZVEKa/wp7q4epZhG1DCowK4DJv2vewR7CmzGSatFXa/Sk7nOavR5ymiHGDJ yRDw== X-Forwarded-Encrypted: i=1; AJvYcCWUsvVtf6AZfSm5ii8ydT1bYPq6Q6XuP4Nm5xxJiUgiqonfelwOmPb+k2HpPIM2X0wN2VIUnIr8EHWhLmGTHtyugB0gPIvU//6tm9fY X-Gm-Message-State: AOJu0YwfLrJG5pJ7Cr7E7UrrzQTplqjS3Y33ejQy39JLPAH7mPmDsPfW Ke6LB19DfqCNWLXqSLi0HxYNMCFQ86GFOSE7rMDpjkOGxFWwOfuc X-Google-Smtp-Source: AGHT+IH1tcceJW6c5fZZzahWnIiGK1Rr8MhBSj69W/lZaDaRW9MoQTwvrsLSGeRVj9nYHuT+pH5q6Q== X-Received: by 2002:a05:6512:220c:b0:516:ae56:4cd7 with SMTP id h12-20020a056512220c00b00516ae564cd7mr2145033lfu.35.1712004338098; Mon, 01 Apr 2024 13:45:38 -0700 (PDT) Received: from localhost.localdomain (2a02-8389-41cf-e200-5145-c12f-55fb-574a.cable.dynamic.v6.surfer.at. [2a02:8389:41cf:e200:5145:c12f:55fb:574a]) by smtp.gmail.com with ESMTPSA id l3-20020a1709067d4300b00a466af74ef2sm5646751ejp.2.2024.04.01.13.45.36 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 01 Apr 2024 13:45:37 -0700 (PDT) From: Javier Carrasco To: dan.carpenter@linaro.org, javier.carrasco.cruz@gmail.com Cc: smatch@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH 3/3] Documentation/smatch: fix typo in submitting-patches.md Date: Mon, 1 Apr 2024 22:45:12 +0200 Message-Id: <20240401204512.538453-4-javier.carrasco.cruz@gmail.com> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> References: <20240401204512.538453-1-javier.carrasco.cruz@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Fix a small typo in the smatch documentation about the patch submission process. Signed-off-by: Javier Carrasco --- Documentation/submitting-patches.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/submitting-patches.md b/Documentation/submitting= -patches.md index 5c4191bd..3f4c548f 100644 --- a/Documentation/submitting-patches.md +++ b/Documentation/submitting-patches.md @@ -20,7 +20,7 @@ Kernel submitting process. Notice that sparse uses the MIT License. 4. Smatch is built on top of Sparse but it is licensed under the GPLv2+ the - git repostories are: + git repositories are: https://github.com/error27/smatch https://repo.or.cz/w/smatch.git -- 2.40.1