Google Git
Sign in
kernel / pub / scm / linux / kernel / git / viro / sparse / 31dc25301b584f8d938629f9a68c5db83ec6241b
commit31dc25301b584f8d938629f9a68c5db83ec6241b[log] [tgz]
authorKamil Dudka <kdudka@redhat.com>Sun Aug 09 22:43:17 2009 +0200
committerChristopher Li <sparse@chrisli.org>Sat Aug 27 23:27:35 2011 -0700
tree7437f8e0a9164b7a92e1e238c80574e0c3cb6e25
parent8376ab091a5ab1850797fd203f31ae97a1287b23 [diff]
cse: treat PHI-nodes as other instructions

Without this patch test-linearize fails on a simple example:

static void test(int i)
{
    while (i) {
        if (i)
            test(0);
        i++;
    }
}

It generates a conditional jump depending on an uninitialized value
which is obviously not in the input code.

Acked-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Kamil Dudka <kdudka@redhat.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
1 file changed
tree: 7437f8e0a9164b7a92e1e238c80574e0c3cb6e25
  1. compat/
  2. Documentation/
  3. gvpr/
  4. validation/
  5. .gitignore
  6. allocate.c
  7. allocate.h
  8. ast-inspect.c
  9. ast-inspect.h
  10. ast-model.c
  11. ast-model.h
  12. ast-view.c
  13. ast-view.h
  14. bitmap.h
  15. c2xml.c
  16. cgcc
  17. cgcc.1
  18. compat-bsd.c
  19. compat-cygwin.c
  20. compat-linux.c
  21. compat-mingw.c
  22. compat-solaris.c
  23. compat.h
  24. compile-i386.c
  25. compile.c
  26. compile.h
  27. cse.c
  28. ctags.c
  29. dissect.c
  30. dissect.h
  31. evaluate.c
  32. example.c
  33. expand.c
  34. expression.c
  35. expression.h
  36. FAQ
  37. flow.c
  38. flow.h
  39. gdbhelpers
  40. graph.c
  41. ident-list.h
  42. inline.c
  43. lib.c
  44. lib.h
  45. LICENSE
  46. linearize.c
  47. linearize.h
  48. liveness.c
  49. Makefile
  50. memops.c
  51. obfuscate.c
  52. parse.c
  53. parse.dtd
  54. parse.h
  55. pre-process.c
  56. ptrlist.c
  57. ptrlist.h
  58. README
  59. scope.c
  60. scope.h
  61. show-parse.c
  62. simplify.c
  63. sort.c
  64. sparse.1
  65. sparse.c
  66. sparse.pc.in
  67. storage.c
  68. storage.h
  69. symbol.c
  70. symbol.h
  71. target.c
  72. target.h
  73. test-dissect.c
  74. test-inspect.c
  75. test-lexing.c
  76. test-linearize.c
  77. test-parsing.c
  78. test-sort.c
  79. test-unssa.c
  80. token.h
  81. tokenize.c
  82. unssa.c