| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7502,6 +7502,16 @@ class TestUninitVar : public TestFixture { | |||
| 7502 | 7502 | " int len = strlen(arr);\n" | |
| 7503 | 7503 | "}\n"); | |
| 7504 | 7504 | ASSERT_EQUALS("[test.cpp:8]: (error) Uninitialized variable: arr\n", errout_str()); | |
| 7505 | + | ||
| 7506 | + valueFlowUninit("struct S1 { int x; };\n" // #12401 | ||
| 7507 | + "struct S2 { struct S1 s1; };\n" | ||
| 7508 | + "struct S2 f() {\n" | ||
| 7509 | + " struct S2 s2;\n" | ||
| 7510 | + " struct S1* s1 = &s2.s1;\n" | ||
| 7511 | + " s1->x = 0;\n" | ||
| 7512 | + " return s2;\n" | ||
| 7513 | + "}\n"); | ||
| 7514 | + ASSERT_EQUALS("", errout_str()); | ||
| 7505 | 7515 | } | |
| 7506 | 7516 | ||
| 7507 | 7517 | void uninitvar_memberfunction() { | |
| Back | FazBrowse Home | New Git URL |
0 commit comments