summaryrefslogtreecommitdiff
path: root/usr/src/tools/smatch/src/validation/optim/bool-context.c
diff options
context:
space:
mode:
authorJohn Levon <john.levon@joyent.com>2019-11-11 16:23:50 +0000
committerJohn Levon <john.levon@joyent.com>2019-11-21 10:40:50 +0000
commitc85f09cc92abd00c84e58ec9f0f5d942906cb713 (patch)
treeb20e43e4142b1e40405fb7085a0b68b485add6aa /usr/src/tools/smatch/src/validation/optim/bool-context.c
parent3128654191cf8267843c8a40c4e0f3ac65f599f1 (diff)
downloadillumos-joyent-c85f09cc92abd00c84e58ec9f0f5d942906cb713.tar.gz
11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org> Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'usr/src/tools/smatch/src/validation/optim/bool-context.c')
-rw-r--r--usr/src/tools/smatch/src/validation/optim/bool-context.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/usr/src/tools/smatch/src/validation/optim/bool-context.c b/usr/src/tools/smatch/src/validation/optim/bool-context.c
index 11326d391f..505fa5cee6 100644
--- a/usr/src/tools/smatch/src/validation/optim/bool-context.c
+++ b/usr/src/tools/smatch/src/validation/optim/bool-context.c
@@ -8,5 +8,5 @@ bool bool_and(int a, int b) { return a && b; }
* check-command: test-linearize -Wno-decl $file
* check-output-ignore
*
- * check-output-pattern-4-times: setne\\..* %arg[12]
+ * check-output-pattern(4): setne\\..* %arg[12]
*/