Skip to content

Commit 1abfc28

Browse files
committed
JS: Update TRAP output
1 parent c972e07 commit 1abfc28

22 files changed

+2874
-3148
lines changed

javascript/extractor/tests/cfg/output/trap/ternary.js.trap

Lines changed: 70 additions & 77 deletions
Original file line numberDiff line numberDiff line change
@@ -96,125 +96,118 @@ hasLocation(#20032,#20033)
9696
enclosing_stmt(#20032,#20031)
9797
expr_containers(#20032,#20001)
9898
#20034=*
99-
exprs(#20034,63,#20032,0,"(a ? b || c : d)")
100-
#20035=@"loc,{#10000},1,1,1,16"
101-
locations_default(#20035,#10000,1,1,1,16)
99+
exprs(#20034,11,#20032,0,"a ? b || c : d")
100+
#20035=@"loc,{#10000},1,2,1,15"
101+
locations_default(#20035,#10000,1,2,1,15)
102102
hasLocation(#20034,#20035)
103103
enclosing_stmt(#20034,#20031)
104104
expr_containers(#20034,#20001)
105105
#20036=*
106-
exprs(#20036,11,#20034,0,"a ? b || c : d")
107-
#20037=@"loc,{#10000},1,2,1,15"
108-
locations_default(#20037,#10000,1,2,1,15)
109-
hasLocation(#20036,#20037)
106+
exprs(#20036,79,#20034,0,"a")
107+
hasLocation(#20036,#20007)
110108
enclosing_stmt(#20036,#20031)
111109
expr_containers(#20036,#20001)
110+
literals("a","a",#20036)
111+
#20037=@"var;{a};{#20000}"
112+
variables(#20037,"a",#20000)
113+
bind(#20036,#20037)
112114
#20038=*
113-
exprs(#20038,79,#20036,0,"a")
114-
hasLocation(#20038,#20007)
115+
exprs(#20038,45,#20034,1,"b || c")
116+
#20039=@"loc,{#10000},1,6,1,11"
117+
locations_default(#20039,#10000,1,6,1,11)
118+
hasLocation(#20038,#20039)
115119
enclosing_stmt(#20038,#20031)
116120
expr_containers(#20038,#20001)
117-
literals("a","a",#20038)
118-
#20039=@"var;{a};{#20000}"
119-
variables(#20039,"a",#20000)
120-
bind(#20038,#20039)
121121
#20040=*
122-
exprs(#20040,45,#20036,1,"b || c")
123-
#20041=@"loc,{#10000},1,6,1,11"
124-
locations_default(#20041,#10000,1,6,1,11)
125-
hasLocation(#20040,#20041)
122+
exprs(#20040,79,#20038,0,"b")
123+
hasLocation(#20040,#20011)
126124
enclosing_stmt(#20040,#20031)
127125
expr_containers(#20040,#20001)
126+
literals("b","b",#20040)
127+
#20041=@"var;{b};{#20000}"
128+
variables(#20041,"b",#20000)
129+
bind(#20040,#20041)
128130
#20042=*
129-
exprs(#20042,79,#20040,0,"b")
130-
hasLocation(#20042,#20011)
131+
exprs(#20042,79,#20038,1,"c")
132+
hasLocation(#20042,#20015)
131133
enclosing_stmt(#20042,#20031)
132134
expr_containers(#20042,#20001)
133-
literals("b","b",#20042)
134-
#20043=@"var;{b};{#20000}"
135-
variables(#20043,"b",#20000)
135+
literals("c","c",#20042)
136+
#20043=@"var;{c};{#20000}"
137+
variables(#20043,"c",#20000)
136138
bind(#20042,#20043)
137139
#20044=*
138-
exprs(#20044,79,#20040,1,"c")
139-
hasLocation(#20044,#20015)
140+
exprs(#20044,79,#20034,2,"d")
141+
hasLocation(#20044,#20019)
140142
enclosing_stmt(#20044,#20031)
141143
expr_containers(#20044,#20001)
142-
literals("c","c",#20044)
143-
#20045=@"var;{c};{#20000}"
144-
variables(#20045,"c",#20000)
144+
literals("d","d",#20044)
145+
#20045=@"var;{d};{#20000}"
146+
variables(#20045,"d",#20000)
145147
bind(#20044,#20045)
148+
has_parentheses(#20034,1)
146149
#20046=*
147-
exprs(#20046,79,#20036,2,"d")
148-
hasLocation(#20046,#20019)
150+
exprs(#20046,79,#20032,1,"e")
151+
hasLocation(#20046,#20025)
149152
enclosing_stmt(#20046,#20031)
150153
expr_containers(#20046,#20001)
151-
literals("d","d",#20046)
152-
#20047=@"var;{d};{#20000}"
153-
variables(#20047,"d",#20000)
154+
literals("e","e",#20046)
155+
#20047=@"var;{e};{#20000}"
156+
variables(#20047,"e",#20000)
154157
bind(#20046,#20047)
155158
#20048=*
156-
exprs(#20048,79,#20032,1,"e")
157-
hasLocation(#20048,#20025)
158-
enclosing_stmt(#20048,#20031)
159-
expr_containers(#20048,#20001)
160-
literals("e","e",#20048)
161-
#20049=@"var;{e};{#20000}"
162-
variables(#20049,"e",#20000)
163-
bind(#20048,#20049)
159+
entry_cfg_node(#20048,#20001)
160+
#20049=@"loc,{#10000},1,1,1,0"
161+
locations_default(#20049,#10000,1,1,1,0)
162+
hasLocation(#20048,#20049)
164163
#20050=*
165-
entry_cfg_node(#20050,#20001)
166-
#20051=@"loc,{#10000},1,1,1,0"
167-
locations_default(#20051,#10000,1,1,1,0)
168-
hasLocation(#20050,#20051)
169-
#20052=*
170-
exit_cfg_node(#20052,#20001)
171-
hasLocation(#20052,#20029)
164+
exit_cfg_node(#20050,#20001)
165+
hasLocation(#20050,#20029)
172166
successor(#20031,#20032)
173167
successor(#20032,#20034)
174168
successor(#20034,#20036)
175-
successor(#20036,#20038)
169+
#20051=*
170+
guard_node(#20051,1,#20036)
171+
hasLocation(#20051,#20007)
172+
successor(#20051,#20038)
173+
#20052=*
174+
guard_node(#20052,0,#20036)
175+
hasLocation(#20052,#20007)
176+
successor(#20052,#20044)
177+
successor(#20036,#20051)
178+
successor(#20036,#20052)
179+
successor(#20038,#20040)
176180
#20053=*
177-
guard_node(#20053,1,#20038)
178-
hasLocation(#20053,#20007)
179-
successor(#20053,#20040)
181+
guard_node(#20053,1,#20040)
182+
hasLocation(#20053,#20011)
183+
successor(#20053,#20050)
180184
#20054=*
181-
guard_node(#20054,0,#20038)
182-
hasLocation(#20054,#20007)
183-
successor(#20054,#20046)
184-
successor(#20038,#20053)
185-
successor(#20038,#20054)
186-
successor(#20040,#20042)
185+
guard_node(#20054,0,#20040)
186+
hasLocation(#20054,#20011)
187+
successor(#20054,#20042)
188+
successor(#20040,#20053)
189+
successor(#20040,#20054)
187190
#20055=*
188191
guard_node(#20055,1,#20042)
189-
hasLocation(#20055,#20011)
190-
successor(#20055,#20052)
192+
hasLocation(#20055,#20015)
193+
successor(#20055,#20050)
191194
#20056=*
192195
guard_node(#20056,0,#20042)
193-
hasLocation(#20056,#20011)
194-
successor(#20056,#20044)
196+
hasLocation(#20056,#20015)
197+
successor(#20056,#20046)
195198
successor(#20042,#20055)
196199
successor(#20042,#20056)
197200
#20057=*
198201
guard_node(#20057,1,#20044)
199-
hasLocation(#20057,#20015)
200-
successor(#20057,#20052)
202+
hasLocation(#20057,#20019)
203+
successor(#20057,#20050)
201204
#20058=*
202205
guard_node(#20058,0,#20044)
203-
hasLocation(#20058,#20015)
204-
successor(#20058,#20048)
206+
hasLocation(#20058,#20019)
207+
successor(#20058,#20046)
205208
successor(#20044,#20057)
206209
successor(#20044,#20058)
207-
#20059=*
208-
guard_node(#20059,1,#20046)
209-
hasLocation(#20059,#20019)
210-
successor(#20059,#20052)
211-
#20060=*
212-
guard_node(#20060,0,#20046)
213-
hasLocation(#20060,#20019)
214-
successor(#20060,#20048)
215-
successor(#20046,#20059)
216-
successor(#20046,#20060)
217-
successor(#20048,#20052)
218-
successor(#20050,#20031)
210+
successor(#20046,#20050)
211+
successor(#20048,#20031)
219212
numlines(#10000,1,1,0)
220213
filetype(#10000,"javascript")

0 commit comments

Comments
 (0)