Files
codeql/cpp/ql/test/library-tests/pointsto/basic/sets.expected
2018-10-18 12:36:42 +01:00

176 lines
11 KiB
Plaintext

| pointsto | false | 0 | 0 | set: {gp_offset} |
| pointsto | false | 1 | 1 | set: {fp_offset} |
| pointsto | false | 2 | 2 | set: {overflow_arg_area} |
| pointsto | false | 3 | 3 | set: {reg_save_area} |
| pointsto | false | 4 | 4 | set: {operator=} |
| pointsto | false | 5 | 5 | set: {p#0} |
| pointsto | false | 6 | 6 | set: {operator=} |
| pointsto | false | 7 | 7 | set: {p#0} |
| pointsto | false | 8 | 8 | set: {MyStruct} |
| pointsto | false | 9 | 9 | set: {test} |
| pointsto | false | 10 | 10 | set: {cond} |
| pointsto | false | 11 | 11 | set: {(bool)..., cond} |
| pointsto | false | 12 | 12 | set: {p1, p1, p1} |
| pointsto | false | 13 | 13 | set: {a, a} |
| pointsto | false | 14 | 14 | set: {b, b} |
| pointsto | false | 15 | 15 | set: {p2, p2} |
| pointsto | false | 16 | 16 | set: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} |
| pointsto | false | 17 | 17 | set: {c, c} |
| pointsto | false | 18 | 18 | set: {pp1, pp1} |
| pointsto | false | 19 | 19 | set: {d, d} |
| pointsto | false | 20 | 20 | set: {pp2, pp2} |
| pointsto | false | 21 | 21 | set: {use} |
| pointsto | false | 22 | 22 | set: {a, b, c, d} |
| pointsto | false | 23 | 23 | set: {& ..., & ..., ... = ..., ... = ..., p3} |
| pointsto | false | 24 | 24 | set: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} |
| pointsto | false | 25 | 25 | set: {v} |
| pointsto | false | 26 | 26 | set: {operator=} |
| pointsto | false | 27 | 27 | set: {p#0} |
| pointsto | false | 28 | 28 | set: {operator=} |
| pointsto | false | 29 | 29 | set: {p#0} |
| pointsto | false | 30 | 30 | set: {data} |
| pointsto | false | 31 | 31 | set: {(unsigned long)..., 10} |
| pointsto | false | 94 | 94 | file://:0:0:0:0\ngp_offset |
| pointsto | false | 96 | 96 | file://:0:0:0:0\nfp_offset |
| pointsto | false | 98 | 98 | file://:0:0:0:0\noverflow_arg_area |
| pointsto | false | 101 | 101 | file://:0:0:0:0\nreg_save_area |
| pointsto | false | 104 | 104 | <no location>\noperator= |
| pointsto | false | 105 | 105 | <no location>\np#0 |
| pointsto | false | 109 | 109 | <no location>\noperator= |
| pointsto | false | 110 | 110 | <no location>\np#0 |
| pointsto | false | 156 | 156 | test.cpp:2:16:2:23\nMyStruct |
| pointsto | false | 161 | 161 | test.cpp:12:6:12:9\ntest |
| pointsto | false | 162 | 162 | test.cpp:12:15:12:18\ncond |
| pointsto | false | 165 | 165 | test.cpp:14:6:14:9\ncond |
| pointsto | false | 166 | 166 | test.cpp:14:6:14:9\n(bool)... |
| pointsto | false | 169 | 169 | test.cpp:7:11:7:12\np1 |
| pointsto | false | 170 | 170 | test.cpp:16:3:16:4\np1 |
| pointsto | false | 171 | 171 | test.cpp:6:10:6:10\na |
| pointsto | false | 172 | 172 | test.cpp:16:9:16:9\na |
| pointsto | false | 173 | 173 | test.cpp:16:8:16:9\n& ... |
| pointsto | false | 174 | 174 | test.cpp:16:3:16:9\n... = ... |
| pointsto | false | 177 | 177 | test.cpp:18:3:18:4\np1 |
| pointsto | false | 178 | 178 | test.cpp:6:13:6:13\nb |
| pointsto | false | 179 | 179 | test.cpp:18:9:18:9\nb |
| pointsto | false | 180 | 180 | test.cpp:18:8:18:9\n& ... |
| pointsto | false | 181 | 181 | test.cpp:18:3:18:9\n... = ... |
| pointsto | false | 185 | 185 | test.cpp:7:16:7:17\np2 |
| pointsto | false | 186 | 186 | test.cpp:20:2:20:3\np2 |
| pointsto | false | 187 | 187 | test.cpp:20:7:20:8\np1 |
| pointsto | false | 188 | 188 | test.cpp:20:2:20:8\n... = ... |
| pointsto | false | 190 | 190 | test.cpp:7:21:7:22\np3 |
| pointsto | false | 191 | 191 | test.cpp:22:2:22:3\np3 |
| pointsto | false | 192 | 192 | test.cpp:6:16:6:16\nc |
| pointsto | false | 193 | 193 | test.cpp:22:8:22:8\nc |
| pointsto | false | 194 | 194 | test.cpp:22:7:22:8\n& ... |
| pointsto | false | 195 | 195 | test.cpp:22:2:22:8\n... = ... |
| pointsto | false | 199 | 199 | test.cpp:8:12:8:14\npp1 |
| pointsto | false | 200 | 200 | test.cpp:23:2:23:4\npp1 |
| pointsto | false | 201 | 201 | test.cpp:23:9:23:10\np3 |
| pointsto | false | 202 | 202 | test.cpp:23:8:23:10\n& ... |
| pointsto | false | 203 | 203 | test.cpp:23:2:23:10\n... = ... |
| pointsto | false | 205 | 205 | test.cpp:24:2:24:3\np3 |
| pointsto | false | 206 | 206 | test.cpp:6:19:6:19\nd |
| pointsto | false | 207 | 207 | test.cpp:24:8:24:8\nd |
| pointsto | false | 208 | 208 | test.cpp:24:7:24:8\n& ... |
| pointsto | false | 209 | 209 | test.cpp:24:2:24:8\n... = ... |
| pointsto | false | 211 | 211 | test.cpp:8:19:8:21\npp2 |
| pointsto | false | 212 | 212 | test.cpp:25:2:25:4\npp2 |
| pointsto | false | 213 | 213 | test.cpp:25:9:25:10\np3 |
| pointsto | false | 214 | 214 | test.cpp:25:8:25:10\n& ... |
| pointsto | false | 215 | 215 | test.cpp:25:2:25:10\n... = ... |
| pointsto | false | 217 | 217 | test.cpp:10:6:10:8\nuse |
| pointsto | false | 221 | 221 | test.cpp:27:6:27:6\na |
| pointsto | false | 222 | 222 | test.cpp:27:9:27:9\nb |
| pointsto | false | 223 | 223 | test.cpp:27:12:27:12\nc |
| pointsto | false | 224 | 224 | test.cpp:27:15:27:15\nd |
| pointsto | false | 225 | 225 | test.cpp:27:18:27:19\np1 |
| pointsto | false | 226 | 226 | test.cpp:27:22:27:23\np2 |
| pointsto | false | 227 | 227 | test.cpp:27:26:27:27\np3 |
| pointsto | false | 228 | 228 | test.cpp:27:30:27:32\npp1 |
| pointsto | false | 229 | 229 | test.cpp:27:35:27:37\npp2 |
| pointsto | false | 233 | 233 | test.cpp:10:19:10:19\nv |
| pointsto | false | 235 | 235 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 237 | 237 | file://:0:0:0:0\np#0 |
| pointsto | false | 242 | 242 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 243 | 243 | file://:0:0:0:0\np#0 |
| pointsto | false | 247 | 247 | test.cpp:3:6:3:9\ndata |
| pointsto | false | 250 | 250 | test.cpp:3:11:3:12\n10 |
| pointsto | false | 251 | 251 | test.cpp:3:11:3:12\n(unsigned long)... |
| pointsto | true | 0 | 94 | pt: {gp_offset} -> gp_offset |
| pointsto | true | 1 | 96 | pt: {fp_offset} -> fp_offset |
| pointsto | true | 2 | 98 | pt: {overflow_arg_area} -> overflow_arg_area |
| pointsto | true | 3 | 101 | pt: {reg_save_area} -> reg_save_area |
| pointsto | true | 4 | 104 | pt: {operator=} -> operator= |
| pointsto | true | 5 | 105 | pt: {p#0} -> p#0 |
| pointsto | true | 6 | 109 | pt: {operator=} -> operator= |
| pointsto | true | 7 | 110 | pt: {p#0} -> p#0 |
| pointsto | true | 8 | 156 | pt: {MyStruct} -> MyStruct |
| pointsto | true | 9 | 161 | pt: {test} -> test |
| pointsto | true | 10 | 162 | pt: {cond} -> cond |
| pointsto | true | 11 | 165 | pt: {(bool)..., cond} -> cond |
| pointsto | true | 11 | 166 | pt: {(bool)..., cond} -> (bool)... |
| pointsto | true | 12 | 169 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 170 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 177 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 13 | 8 | sf |
| pointsto | true | 13 | 16 | sf |
| pointsto | true | 13 | 171 | pt: {a, a} -> a |
| pointsto | true | 13 | 172 | pt: {a, a} -> a |
| pointsto | true | 14 | 8 | sf |
| pointsto | true | 14 | 16 | sf |
| pointsto | true | 14 | 178 | pt: {b, b} -> b |
| pointsto | true | 14 | 179 | pt: {b, b} -> b |
| pointsto | true | 15 | 185 | pt: {p2, p2} -> p2 |
| pointsto | true | 15 | 186 | pt: {p2, p2} -> p2 |
| pointsto | true | 16 | 173 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 174 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 180 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 181 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 187 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 188 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 225 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 226 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p2 |
| pointsto | true | 17 | 8 | sf |
| pointsto | true | 17 | 23 | sf |
| pointsto | true | 17 | 192 | pt: {c, c} -> c |
| pointsto | true | 17 | 193 | pt: {c, c} -> c |
| pointsto | true | 18 | 199 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 18 | 200 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 19 | 8 | sf |
| pointsto | true | 19 | 23 | sf |
| pointsto | true | 19 | 206 | pt: {d, d} -> d |
| pointsto | true | 19 | 207 | pt: {d, d} -> d |
| pointsto | true | 20 | 211 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 20 | 212 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 21 | 217 | pt: {use} -> use |
| pointsto | true | 22 | 221 | pt: {a, b, c, d} -> a |
| pointsto | true | 22 | 222 | pt: {a, b, c, d} -> b |
| pointsto | true | 22 | 223 | pt: {a, b, c, d} -> c |
| pointsto | true | 22 | 224 | pt: {a, b, c, d} -> d |
| pointsto | true | 23 | 194 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 195 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 208 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 209 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 227 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> p3 |
| pointsto | true | 24 | 190 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 191 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 201 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 202 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 203 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 205 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 213 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 214 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 215 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 228 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp1 |
| pointsto | true | 24 | 229 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp2 |
| pointsto | true | 25 | 8 | sf |
| pointsto | true | 25 | 233 | pt: {v} -> v |
| pointsto | true | 26 | 235 | pt: {operator=} -> operator= |
| pointsto | true | 27 | 237 | pt: {p#0} -> p#0 |
| pointsto | true | 28 | 242 | pt: {operator=} -> operator= |
| pointsto | true | 29 | 243 | pt: {p#0} -> p#0 |
| pointsto | true | 30 | 247 | pt: {data} -> data |
| pointsto | true | 31 | 250 | pt: {(unsigned long)..., 10} -> 10 |
| pointsto | true | 31 | 251 | pt: {(unsigned long)..., 10} -> (unsigned long)... |