Merge branch 'nk/perf-fsmonitor-cleanup'
[git] / Documentation / git-bisect.txt
1 git-bisect(1)
2 =============
3
4 NAME
5 ----
6 git-bisect - Use binary search to find the commit that introduced a bug
7
8
9 SYNOPSIS
10 --------
11 [verse]
12 'git bisect' <subcommand> <options>
13
14 DESCRIPTION
15 -----------
16 The command takes various subcommands, and different options depending
17 on the subcommand:
18
19  git bisect start [--term-{new,bad}=<term> --term-{old,good}=<term>]
20                   [--no-checkout] [--first-parent] [<bad> [<good>...]] [--] [<paths>...]
21  git bisect (bad|new|<term-new>) [<rev>]
22  git bisect (good|old|<term-old>) [<rev>...]
23  git bisect terms [--term-good | --term-bad]
24  git bisect skip [(<rev>|<range>)...]
25  git bisect reset [<commit>]
26  git bisect (visualize|view)
27  git bisect replay <logfile>
28  git bisect log
29  git bisect run <cmd>...
30  git bisect help
31
32 This command uses a binary search algorithm to find which commit in
33 your project's history introduced a bug. You use it by first telling
34 it a "bad" commit that is known to contain the bug, and a "good"
35 commit that is known to be before the bug was introduced. Then `git
36 bisect` picks a commit between those two endpoints and asks you
37 whether the selected commit is "good" or "bad". It continues narrowing
38 down the range until it finds the exact commit that introduced the
39 change.
40
41 In fact, `git bisect` can be used to find the commit that changed
42 *any* property of your project; e.g., the commit that fixed a bug, or
43 the commit that caused a benchmark's performance to improve. To
44 support this more general usage, the terms "old" and "new" can be used
45 in place of "good" and "bad", or you can choose your own terms. See
46 section "Alternate terms" below for more information.
47
48 Basic bisect commands: start, bad, good
49 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
50
51 As an example, suppose you are trying to find the commit that broke a
52 feature that was known to work in version `v2.6.13-rc2` of your
53 project. You start a bisect session as follows:
54
55 ------------------------------------------------
56 $ git bisect start
57 $ git bisect bad                 # Current version is bad
58 $ git bisect good v2.6.13-rc2    # v2.6.13-rc2 is known to be good
59 ------------------------------------------------
60
61 Once you have specified at least one bad and one good commit, `git
62 bisect` selects a commit in the middle of that range of history,
63 checks it out, and outputs something similar to the following:
64
65 ------------------------------------------------
66 Bisecting: 675 revisions left to test after this (roughly 10 steps)
67 ------------------------------------------------
68
69 You should now compile the checked-out version and test it. If that
70 version works correctly, type
71
72 ------------------------------------------------
73 $ git bisect good
74 ------------------------------------------------
75
76 If that version is broken, type
77
78 ------------------------------------------------
79 $ git bisect bad
80 ------------------------------------------------
81
82 Then `git bisect` will respond with something like
83
84 ------------------------------------------------
85 Bisecting: 337 revisions left to test after this (roughly 9 steps)
86 ------------------------------------------------
87
88 Keep repeating the process: compile the tree, test it, and depending
89 on whether it is good or bad run `git bisect good` or `git bisect bad`
90 to ask for the next commit that needs testing.
91
92 Eventually there will be no more revisions left to inspect, and the
93 command will print out a description of the first bad commit. The
94 reference `refs/bisect/bad` will be left pointing at that commit.
95
96
97 Bisect reset
98 ~~~~~~~~~~~~
99
100 After a bisect session, to clean up the bisection state and return to
101 the original HEAD, issue the following command:
102
103 ------------------------------------------------
104 $ git bisect reset
105 ------------------------------------------------
106
107 By default, this will return your tree to the commit that was checked
108 out before `git bisect start`.  (A new `git bisect start` will also do
109 that, as it cleans up the old bisection state.)
110
111 With an optional argument, you can return to a different commit
112 instead:
113
114 ------------------------------------------------
115 $ git bisect reset <commit>
116 ------------------------------------------------
117
118 For example, `git bisect reset bisect/bad` will check out the first
119 bad revision, while `git bisect reset HEAD` will leave you on the
120 current bisection commit and avoid switching commits at all.
121
122
123 Alternate terms
124 ~~~~~~~~~~~~~~~
125
126 Sometimes you are not looking for the commit that introduced a
127 breakage, but rather for a commit that caused a change between some
128 other "old" state and "new" state. For example, you might be looking
129 for the commit that introduced a particular fix. Or you might be
130 looking for the first commit in which the source-code filenames were
131 finally all converted to your company's naming standard. Or whatever.
132
133 In such cases it can be very confusing to use the terms "good" and
134 "bad" to refer to "the state before the change" and "the state after
135 the change". So instead, you can use the terms "old" and "new",
136 respectively, in place of "good" and "bad". (But note that you cannot
137 mix "good" and "bad" with "old" and "new" in a single session.)
138
139 In this more general usage, you provide `git bisect` with a "new"
140 commit that has some property and an "old" commit that doesn't have that
141 property. Each time `git bisect` checks out a commit, you test if that
142 commit has the property. If it does, mark the commit as "new";
143 otherwise, mark it as "old". When the bisection is done, `git bisect`
144 will report which commit introduced the property.
145
146 To use "old" and "new" instead of "good" and bad, you must run `git
147 bisect start` without commits as argument and then run the following
148 commands to add the commits:
149
150 ------------------------------------------------
151 git bisect old [<rev>]
152 ------------------------------------------------
153
154 to indicate that a commit was before the sought change, or
155
156 ------------------------------------------------
157 git bisect new [<rev>...]
158 ------------------------------------------------
159
160 to indicate that it was after.
161
162 To get a reminder of the currently used terms, use
163
164 ------------------------------------------------
165 git bisect terms
166 ------------------------------------------------
167
168 You can get just the old (respectively new) term with `git bisect terms
169 --term-old` or `git bisect terms --term-good`.
170
171 If you would like to use your own terms instead of "bad"/"good" or
172 "new"/"old", you can choose any names you like (except existing bisect
173 subcommands like `reset`, `start`, ...) by starting the
174 bisection using
175
176 ------------------------------------------------
177 git bisect start --term-old <term-old> --term-new <term-new>
178 ------------------------------------------------
179
180 For example, if you are looking for a commit that introduced a
181 performance regression, you might use
182
183 ------------------------------------------------
184 git bisect start --term-old fast --term-new slow
185 ------------------------------------------------
186
187 Or if you are looking for the commit that fixed a bug, you might use
188
189 ------------------------------------------------
190 git bisect start --term-new fixed --term-old broken
191 ------------------------------------------------
192
193 Then, use `git bisect <term-old>` and `git bisect <term-new>` instead
194 of `git bisect good` and `git bisect bad` to mark commits.
195
196 Bisect visualize/view
197 ~~~~~~~~~~~~~~~~~~~~~
198
199 To see the currently remaining suspects in 'gitk', issue the following
200 command during the bisection process (the subcommand `view` can be used
201 as an alternative to `visualize`):
202
203 ------------
204 $ git bisect visualize
205 ------------
206
207 If the `DISPLAY` environment variable is not set, 'git log' is used
208 instead.  You can also give command-line options such as `-p` and
209 `--stat`.
210
211 ------------
212 $ git bisect visualize --stat
213 ------------
214
215 Bisect log and bisect replay
216 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
217
218 After having marked revisions as good or bad, issue the following
219 command to show what has been done so far:
220
221 ------------
222 $ git bisect log
223 ------------
224
225 If you discover that you made a mistake in specifying the status of a
226 revision, you can save the output of this command to a file, edit it to
227 remove the incorrect entries, and then issue the following commands to
228 return to a corrected state:
229
230 ------------
231 $ git bisect reset
232 $ git bisect replay that-file
233 ------------
234
235 Avoiding testing a commit
236 ~~~~~~~~~~~~~~~~~~~~~~~~~
237
238 If, in the middle of a bisect session, you know that the suggested
239 revision is not a good one to test (e.g. it fails to build and you
240 know that the failure does not have anything to do with the bug you
241 are chasing), you can manually select a nearby commit and test that
242 one instead.
243
244 For example:
245
246 ------------
247 $ git bisect good/bad                   # previous round was good or bad.
248 Bisecting: 337 revisions left to test after this (roughly 9 steps)
249 $ git bisect visualize                  # oops, that is uninteresting.
250 $ git reset --hard HEAD~3               # try 3 revisions before what
251                                         # was suggested
252 ------------
253
254 Then compile and test the chosen revision, and afterwards mark
255 the revision as good or bad in the usual manner.
256
257 Bisect skip
258 ~~~~~~~~~~~
259
260 Instead of choosing a nearby commit by yourself, you can ask Git to do
261 it for you by issuing the command:
262
263 ------------
264 $ git bisect skip                 # Current version cannot be tested
265 ------------
266
267 However, if you skip a commit adjacent to the one you are looking for,
268 Git will be unable to tell exactly which of those commits was the
269 first bad one.
270
271 You can also skip a range of commits, instead of just one commit,
272 using range notation. For example:
273
274 ------------
275 $ git bisect skip v2.5..v2.6
276 ------------
277
278 This tells the bisect process that no commit after `v2.5`, up to and
279 including `v2.6`, should be tested.
280
281 Note that if you also want to skip the first commit of the range you
282 would issue the command:
283
284 ------------
285 $ git bisect skip v2.5 v2.5..v2.6
286 ------------
287
288 This tells the bisect process that the commits between `v2.5` and
289 `v2.6` (inclusive) should be skipped.
290
291
292 Cutting down bisection by giving more parameters to bisect start
293 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
294
295 You can further cut down the number of trials, if you know what part of
296 the tree is involved in the problem you are tracking down, by specifying
297 path parameters when issuing the `bisect start` command:
298
299 ------------
300 $ git bisect start -- arch/i386 include/asm-i386
301 ------------
302
303 If you know beforehand more than one good commit, you can narrow the
304 bisect space down by specifying all of the good commits immediately after
305 the bad commit when issuing the `bisect start` command:
306
307 ------------
308 $ git bisect start v2.6.20-rc6 v2.6.20-rc4 v2.6.20-rc1 --
309                    # v2.6.20-rc6 is bad
310                    # v2.6.20-rc4 and v2.6.20-rc1 are good
311 ------------
312
313 Bisect run
314 ~~~~~~~~~~
315
316 If you have a script that can tell if the current source code is good
317 or bad, you can bisect by issuing the command:
318
319 ------------
320 $ git bisect run my_script arguments
321 ------------
322
323 Note that the script (`my_script` in the above example) should exit
324 with code 0 if the current source code is good/old, and exit with a
325 code between 1 and 127 (inclusive), except 125, if the current source
326 code is bad/new.
327
328 Any other exit code will abort the bisect process. It should be noted
329 that a program that terminates via `exit(-1)` leaves $? = 255, (see the
330 exit(3) manual page), as the value is chopped with `& 0377`.
331
332 The special exit code 125 should be used when the current source code
333 cannot be tested. If the script exits with this code, the current
334 revision will be skipped (see `git bisect skip` above). 125 was chosen
335 as the highest sensible value to use for this purpose, because 126 and 127
336 are used by POSIX shells to signal specific error status (127 is for
337 command not found, 126 is for command found but not executable--these
338 details do not matter, as they are normal errors in the script, as far as
339 `bisect run` is concerned).
340
341 You may often find that during a bisect session you want to have
342 temporary modifications (e.g. s/#define DEBUG 0/#define DEBUG 1/ in a
343 header file, or "revision that does not have this commit needs this
344 patch applied to work around another problem this bisection is not
345 interested in") applied to the revision being tested.
346
347 To cope with such a situation, after the inner 'git bisect' finds the
348 next revision to test, the script can apply the patch
349 before compiling, run the real test, and afterwards decide if the
350 revision (possibly with the needed patch) passed the test and then
351 rewind the tree to the pristine state.  Finally the script should exit
352 with the status of the real test to let the `git bisect run` command loop
353 determine the eventual outcome of the bisect session.
354
355 OPTIONS
356 -------
357 --no-checkout::
358 +
359 Do not checkout the new working tree at each iteration of the bisection
360 process. Instead just update a special reference named `BISECT_HEAD` to make
361 it point to the commit that should be tested.
362 +
363 This option may be useful when the test you would perform in each step
364 does not require a checked out tree.
365 +
366 If the repository is bare, `--no-checkout` is assumed.
367
368 --first-parent::
369 +
370 Follow only the first parent commit upon seeing a merge commit.
371 +
372 In detecting regressions introduced through the merging of a branch, the merge
373 commit will be identified as introduction of the bug and its ancestors will be
374 ignored.
375 +
376 This option is particularly useful in avoiding false positives when a merged
377 branch contained broken or non-buildable commits, but the merge itself was OK.
378
379 EXAMPLES
380 --------
381
382 * Automatically bisect a broken build between v1.2 and HEAD:
383 +
384 ------------
385 $ git bisect start HEAD v1.2 --      # HEAD is bad, v1.2 is good
386 $ git bisect run make                # "make" builds the app
387 $ git bisect reset                   # quit the bisect session
388 ------------
389
390 * Automatically bisect a test failure between origin and HEAD:
391 +
392 ------------
393 $ git bisect start HEAD origin --    # HEAD is bad, origin is good
394 $ git bisect run make test           # "make test" builds and tests
395 $ git bisect reset                   # quit the bisect session
396 ------------
397
398 * Automatically bisect a broken test case:
399 +
400 ------------
401 $ cat ~/test.sh
402 #!/bin/sh
403 make || exit 125                     # this skips broken builds
404 ~/check_test_case.sh                 # does the test case pass?
405 $ git bisect start HEAD HEAD~10 --   # culprit is among the last 10
406 $ git bisect run ~/test.sh
407 $ git bisect reset                   # quit the bisect session
408 ------------
409 +
410 Here we use a `test.sh` custom script. In this script, if `make`
411 fails, we skip the current commit.
412 `check_test_case.sh` should `exit 0` if the test case passes,
413 and `exit 1` otherwise.
414 +
415 It is safer if both `test.sh` and `check_test_case.sh` are
416 outside the repository to prevent interactions between the bisect,
417 make and test processes and the scripts.
418
419 * Automatically bisect with temporary modifications (hot-fix):
420 +
421 ------------
422 $ cat ~/test.sh
423 #!/bin/sh
424
425 # tweak the working tree by merging the hot-fix branch
426 # and then attempt a build
427 if      git merge --no-commit --no-ff hot-fix &&
428         make
429 then
430         # run project specific test and report its status
431         ~/check_test_case.sh
432         status=$?
433 else
434         # tell the caller this is untestable
435         status=125
436 fi
437
438 # undo the tweak to allow clean flipping to the next commit
439 git reset --hard
440
441 # return control
442 exit $status
443 ------------
444 +
445 This applies modifications from a hot-fix branch before each test run,
446 e.g. in case your build or test environment changed so that older
447 revisions may need a fix which newer ones have already. (Make sure the
448 hot-fix branch is based off a commit which is contained in all revisions
449 which you are bisecting, so that the merge does not pull in too much, or
450 use `git cherry-pick` instead of `git merge`.)
451
452 * Automatically bisect a broken test case:
453 +
454 ------------
455 $ git bisect start HEAD HEAD~10 --   # culprit is among the last 10
456 $ git bisect run sh -c "make || exit 125; ~/check_test_case.sh"
457 $ git bisect reset                   # quit the bisect session
458 ------------
459 +
460 This shows that you can do without a run script if you write the test
461 on a single line.
462
463 * Locate a good region of the object graph in a damaged repository
464 +
465 ------------
466 $ git bisect start HEAD <known-good-commit> [ <boundary-commit> ... ] --no-checkout
467 $ git bisect run sh -c '
468         GOOD=$(git for-each-ref "--format=%(objectname)" refs/bisect/good-*) &&
469         git rev-list --objects BISECT_HEAD --not $GOOD >tmp.$$ &&
470         git pack-objects --stdout >/dev/null <tmp.$$
471         rc=$?
472         rm -f tmp.$$
473         test $rc = 0'
474
475 $ git bisect reset                   # quit the bisect session
476 ------------
477 +
478 In this case, when 'git bisect run' finishes, bisect/bad will refer to a commit that
479 has at least one parent whose reachable graph is fully traversable in the sense
480 required by 'git pack objects'.
481
482 * Look for a fix instead of a regression in the code
483 +
484 ------------
485 $ git bisect start
486 $ git bisect new HEAD    # current commit is marked as new
487 $ git bisect old HEAD~10 # the tenth commit from now is marked as old
488 ------------
489 +
490 or:
491 ------------
492 $ git bisect start --term-old broken --term-new fixed
493 $ git bisect fixed
494 $ git bisect broken HEAD~10
495 ------------
496
497 Getting help
498 ~~~~~~~~~~~~
499
500 Use `git bisect` to get a short usage description, and `git bisect
501 help` or `git bisect -h` to get a long usage description.
502
503 SEE ALSO
504 --------
505 link:git-bisect-lk2009.html[Fighting regressions with git bisect],
506 linkgit:git-blame[1].
507
508 GIT
509 ---
510 Part of the linkgit:git[1] suite