Bug Summary

File:jdk/src/hotspot/share/adlc/main.cpp
Warning:line 107, column 30
Potential leak of memory pointed to by 'AD._DFA_file._name'

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name main.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model static -mthread-model posix -mframe-pointer=all -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -target-cpu x86-64 -dwarf-column-info -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib/llvm-10/lib/clang/10.0.0 -D LINUX -D ASSERT -D AMD64 -I /home/daniel/Projects/java/jdk/src/hotspot/share -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-10/lib/clang/10.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -Wno-unused-parameter -Wno-unused -fdeprecated-macro -fdebug-compilation-dir /home/daniel/Projects/java/jdk/make/hotspot -ferror-limit 19 -fmessage-length 0 -fgnuc-version=4.2.1 -fobjc-runtime=gcc -fdiagnostics-show-option -analyzer-output=html -faddrsig -o /home/daniel/Projects/java/scan/2021-12-21-193737-8510-1 -x c++ /home/daniel/Projects/java/jdk/src/hotspot/share/adlc/main.cpp
1/*
2 * Copyright (c) 1997, 2021, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25// MAIN.CPP - Entry point for the Architecture Description Language Compiler
26#include "adlc.hpp"
27
28//------------------------------Prototypes-------------------------------------
29static void usage(ArchDesc& AD); // Print usage message and exit
30static char *strip_ext(char *fname); // Strip off name extension
31static char *base_plus_suffix(const char* base, const char *suffix);// New concatenated string
32static int get_legal_text(FileBuff &fbuf, char **legal_text); // Get pointer to legal text
33
34ArchDesc* globalAD = NULL__null; // global reference to Architecture Description object
35
36const char* get_basename(const char* filename) {
37 const char *basename = filename;
38 const char *cp;
39 for (cp = basename; *cp; cp++) {
40 if (*cp == '/' || *cp == '\\') {
41 basename = cp+1;
42 }
43 }
44 return basename;
45}
46
47//------------------------------main-------------------------------------------
48int main(int argc, char *argv[])
49{
50 ArchDesc AD; // Architecture Description object
51 globalAD = &AD;
52
53 // ResourceMark mark;
54 ADLParser *ADL_Parse; // ADL Parser object to parse AD file
55
56 // Check for proper arguments
57 if( argc == 1 ) usage(AD); // No arguments? Then print usage
1
Assuming 'argc' is not equal to 1
→
2
←
Taking false branch
→
58
59 // Read command line arguments and file names
60 for( int i = 1; i
2.1
'i' is < 'argc'
 < argc; i++ ) { // For all arguments
3
←
Loop condition is true. Entering loop body
→
9
←
Assuming 'i' is < 'argc'
→
10
←
Loop condition is true. Entering loop body
→
61 char *s = argv[i]; // Get option/filename
62
63 if( *s++ == '-' ) { // It's a flag? (not a filename)
4
←
Assuming the condition is false
→
5
←
Taking false branch
→
11
←
Assuming the condition is true
→
12
←
Taking true branch
→
64 if( !*s ) { // Stand-alone `-' means stdin
13
←
Assuming the condition is false
→
14
←
Taking false branch
→
65 //********** INSERT CODE HERE **********
66 } else while (*s != '\0') { // While have flags on option
15
←
Loop condition is true. Entering loop body
→
67 switch (*s++) { // Handle flag
16
←
Control jumps to 'case 97:' at line 105
→
68 case 'd': // Debug flag
69 AD._dfa_debug += 1; // Set Debug Flag
70 break;
71 case 'g': // Debug ad location flag
72 AD._adlocation_debug += 1; // Set Debug ad location Flag
73 break;
74 case 'o': // No Output Flag
75 AD._no_output ^= 1; // Toggle no_output flag
76 break;
77 case 'q': // Quiet Mode Flag
78 AD._quiet_mode ^= 1; // Toggle quiet_mode flag
79 break;
80 case 'w': // Disable Warnings Flag
81 AD._disable_warnings ^= 1; // Toggle disable_warnings flag
82 break;
83 case 'T': // Option to make DFA as many subroutine calls.
84 AD._dfa_small += 1; // Set Mode Flag
85 break;
86 case 'c': { // Set C++ Output file name
87 AD._CPP_file._name = s;
88 const char *base = strip_ext(strdup(s));
89 AD._CPP_CLONE_file._name = base_plus_suffix(base,"_clone.cpp");
90 AD._CPP_EXPAND_file._name = base_plus_suffix(base,"_expand.cpp");
91 AD._CPP_FORMAT_file._name = base_plus_suffix(base,"_format.cpp");
92 AD._CPP_GEN_file._name = base_plus_suffix(base,"_gen.cpp");
93 AD._CPP_MISC_file._name = base_plus_suffix(base,"_misc.cpp");
94 AD._CPP_PEEPHOLE_file._name = base_plus_suffix(base,"_peephole.cpp");
95 AD._CPP_PIPELINE_file._name = base_plus_suffix(base,"_pipeline.cpp");
96 s += strlen(s);
97 break;
98 }
99 case 'h': // Set C++ Output file name
100 AD._HPP_file._name = s; s += strlen(s);
101 break;
102 case 'v': // Set C++ Output file name
103 AD._VM_file._name = s; s += strlen(s);
104 break;
105 case 'a': // Set C++ Output file name
106 AD._DFA_file._name = s;
107 AD._bug_file._name = s;
17
←
Potential leak of memory pointed to by 'AD._DFA_file._name'
108 s += strlen(s);
109 break;
110 case '#': // Special internal debug flag
111 AD._adl_debug++; // Increment internal debug level
112 break;
113 case 's': // Output which instructions are cisc-spillable
114 AD._cisc_spill_debug = true;
115 break;
116 case 'D': // Flag Definition
117 {
118 char* flag = s;
119 s += strlen(s);
120 char* def = strchr(flag, '=');
121 if (def == NULL__null) def = (char*)"1";
122 else *def++ = '\0';
123 AD.set_preproc_def(flag, def);
124 }
125 break;
126 case 'U': // Flag Un-Definition
127 {
128 char* flag = s;
129 s += strlen(s);
130 AD.set_preproc_def(flag, NULL__null);
131 }
132 break;
133 default: // Unknown option
134 usage(AD); // So print usage and exit
135 } // End of switch on options...
136 } // End of while have options...
137
138 } else { // Not an option; must be a filename
139 AD._ADL_file._name = argv[i]; // Set the input filename
140
141 // // Files for storage, based on input file name
142 const char *base = strip_ext(strdup(argv[i]));
143 char *temp = base_plus_suffix("dfa_",base);
144 AD._DFA_file._name = base_plus_suffix(temp,".cpp");
6
←
Calling 'base_plus_suffix'
→
8
←
Returned allocated memory
→
145 delete[] temp;
146 temp = base_plus_suffix("ad_",base);
147 AD._CPP_file._name = base_plus_suffix(temp,".cpp");
148 AD._CPP_CLONE_file._name = base_plus_suffix(temp,"_clone.cpp");
149 AD._CPP_EXPAND_file._name = base_plus_suffix(temp,"_expand.cpp");
150 AD._CPP_FORMAT_file._name = base_plus_suffix(temp,"_format.cpp");
151 AD._CPP_GEN_file._name = base_plus_suffix(temp,"_gen.cpp");
152 AD._CPP_MISC_file._name = base_plus_suffix(temp,"_misc.cpp");
153 AD._CPP_PEEPHOLE_file._name = base_plus_suffix(temp,"_peephole.cpp");
154 AD._CPP_PIPELINE_file._name = base_plus_suffix(temp,"_pipeline.cpp");
155 AD._HPP_file._name = base_plus_suffix(temp,".hpp");
156 delete[] temp;
157 temp = base_plus_suffix("adGlobals_",base);
158 AD._VM_file._name = base_plus_suffix(temp,".hpp");
159 delete[] temp;
160 temp = base_plus_suffix("bugs_",base);
161 AD._bug_file._name = base_plus_suffix(temp,".out");
162 delete[] temp;
163 } // End of files vs options...
164 } // End of while have command line arguments
165
166 // Open files used to store the matcher and its components
167 if (AD.open_files() == 0) return 1; // Open all input/output files
168
169 // Build the File Buffer, Parse the input, & Generate Code
170 FileBuff ADL_Buf(&AD._ADL_file, AD); // Create a file buffer for input file
171
172 // Get pointer to legal text at the beginning of AD file.
173 // It will be used in generated ad files.
174 char* legal_text;
175 int legal_sz = get_legal_text(ADL_Buf, &legal_text);
176
177 ADL_Parse = new ADLParser(ADL_Buf, AD); // Create a parser to parse the buffer
178 ADL_Parse->parse(); // Parse buffer & build description lists
179
180 if( AD._dfa_debug >= 1 ) { // For higher debug settings, print dump
181 AD.dump();
182 }
183
184 delete ADL_Parse; // Delete parser
185
186 // Verify that the results of the parse are consistent
187 AD.verify();
188
189 // Prepare to generate the result files:
190 AD.generateMatchLists();
191 AD.identify_unique_operands();
192 AD.identify_cisc_spill_instructions();
193 AD.identify_short_branches();
194 // Make sure every file starts with a copyright:
195 AD.addSunCopyright(legal_text, legal_sz, AD._HPP_file._fp); // .hpp
196 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_file._fp); // .cpp
197 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_CLONE_file._fp); // .cpp
198 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_EXPAND_file._fp); // .cpp
199 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_FORMAT_file._fp); // .cpp
200 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_GEN_file._fp); // .cpp
201 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_MISC_file._fp); // .cpp
202 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_PEEPHOLE_file._fp); // .cpp
203 AD.addSunCopyright(legal_text, legal_sz, AD._CPP_PIPELINE_file._fp); // .cpp
204 AD.addSunCopyright(legal_text, legal_sz, AD._VM_file._fp); // .hpp
205 AD.addSunCopyright(legal_text, legal_sz, AD._DFA_file._fp); // .cpp
206 // Add include guards for all .hpp files
207 AD.addIncludeGuardStart(AD._HPP_file, "GENERATED_ADFILES_AD_HPP"); // .hpp
208 AD.addIncludeGuardStart(AD._VM_file, "GENERATED_ADFILES_ADGLOBALS_HPP"); // .hpp
209 // Add includes
210 AD.addInclude(AD._CPP_file, "precompiled.hpp");
211 AD.addInclude(AD._CPP_file, "adfiles", get_basename(AD._VM_file._name));
212 AD.addInclude(AD._CPP_file, "adfiles", get_basename(AD._HPP_file._name));
213 AD.addInclude(AD._CPP_file, "memory/allocation.inline.hpp");
214 AD.addInclude(AD._CPP_file, "code/codeCache.hpp");
215 AD.addInclude(AD._CPP_file, "code/compiledIC.hpp");
216 AD.addInclude(AD._CPP_file, "code/nativeInst.hpp");
217 AD.addInclude(AD._CPP_file, "code/vmreg.inline.hpp");
218 AD.addInclude(AD._CPP_file, "gc/shared/collectedHeap.inline.hpp");
219 AD.addInclude(AD._CPP_file, "oops/compiledICHolder.hpp");
220 AD.addInclude(AD._CPP_file, "oops/compressedOops.hpp");
221 AD.addInclude(AD._CPP_file, "oops/markWord.hpp");
222 AD.addInclude(AD._CPP_file, "oops/method.hpp");
223 AD.addInclude(AD._CPP_file, "oops/oop.inline.hpp");
224 AD.addInclude(AD._CPP_file, "opto/c2_MacroAssembler.hpp");
225 AD.addInclude(AD._CPP_file, "opto/cfgnode.hpp");
226 AD.addInclude(AD._CPP_file, "opto/intrinsicnode.hpp");
227 AD.addInclude(AD._CPP_file, "opto/locknode.hpp");
228 AD.addInclude(AD._CPP_file, "opto/opcodes.hpp");
229 AD.addInclude(AD._CPP_file, "opto/regalloc.hpp");
230 AD.addInclude(AD._CPP_file, "opto/regmask.hpp");
231 AD.addInclude(AD._CPP_file, "opto/runtime.hpp");
232 AD.addInclude(AD._CPP_file, "runtime/safepointMechanism.hpp");
233 AD.addInclude(AD._CPP_file, "runtime/sharedRuntime.hpp");
234 AD.addInclude(AD._CPP_file, "runtime/stubRoutines.hpp");
235 AD.addInclude(AD._CPP_file, "utilities/growableArray.hpp");
236 AD.addInclude(AD._CPP_file, "utilities/powerOfTwo.hpp");
237 AD.addInclude(AD._HPP_file, "memory/allocation.hpp");
238 AD.addInclude(AD._HPP_file, "oops/compressedOops.hpp");
239 AD.addInclude(AD._HPP_file, "code/nativeInst.hpp");
240 AD.addInclude(AD._HPP_file, "opto/output.hpp");
241 AD.addInclude(AD._HPP_file, "opto/machnode.hpp");
242 AD.addInclude(AD._HPP_file, "opto/node.hpp");
243 AD.addInclude(AD._HPP_file, "opto/regalloc.hpp");
244 AD.addInclude(AD._HPP_file, "opto/subnode.hpp");
245 AD.addInclude(AD._HPP_file, "opto/vectornode.hpp");
246 AD.addInclude(AD._CPP_CLONE_file, "precompiled.hpp");
247 AD.addInclude(AD._CPP_CLONE_file, "adfiles", get_basename(AD._HPP_file._name));
248 AD.addInclude(AD._CPP_EXPAND_file, "precompiled.hpp");
249 AD.addInclude(AD._CPP_EXPAND_file, "adfiles", get_basename(AD._HPP_file._name));
250 AD.addInclude(AD._CPP_EXPAND_file, "oops/compressedOops.hpp");
251 AD.addInclude(AD._CPP_FORMAT_file, "precompiled.hpp");
252 AD.addInclude(AD._CPP_FORMAT_file, "adfiles", get_basename(AD._HPP_file._name));
253 AD.addInclude(AD._CPP_FORMAT_file, "compiler/oopMap.hpp");
254 AD.addInclude(AD._CPP_GEN_file, "precompiled.hpp");
255 AD.addInclude(AD._CPP_GEN_file, "adfiles", get_basename(AD._HPP_file._name));
256 AD.addInclude(AD._CPP_GEN_file, "opto/cfgnode.hpp");
257 AD.addInclude(AD._CPP_GEN_file, "opto/locknode.hpp");
258 AD.addInclude(AD._CPP_GEN_file, "opto/rootnode.hpp");
259 AD.addInclude(AD._CPP_MISC_file, "precompiled.hpp");
260 AD.addInclude(AD._CPP_MISC_file, "adfiles", get_basename(AD._HPP_file._name));
261 AD.addInclude(AD._CPP_PEEPHOLE_file, "precompiled.hpp");
262 AD.addInclude(AD._CPP_PEEPHOLE_file, "adfiles", get_basename(AD._HPP_file._name));
263 AD.addInclude(AD._CPP_PIPELINE_file, "precompiled.hpp");
264 AD.addInclude(AD._CPP_PIPELINE_file, "adfiles", get_basename(AD._HPP_file._name));
265 AD.addInclude(AD._DFA_file, "precompiled.hpp");
266 AD.addInclude(AD._DFA_file, "adfiles", get_basename(AD._HPP_file._name));
267 AD.addInclude(AD._DFA_file, "oops/compressedOops.hpp");
268 AD.addInclude(AD._DFA_file, "opto/cfgnode.hpp"); // Use PROB_MAX in predicate.
269 AD.addInclude(AD._DFA_file, "opto/intrinsicnode.hpp");
270 AD.addInclude(AD._DFA_file, "opto/matcher.hpp");
271 AD.addInclude(AD._DFA_file, "opto/narrowptrnode.hpp");
272 AD.addInclude(AD._DFA_file, "opto/opcodes.hpp");
273 AD.addInclude(AD._DFA_file, "opto/convertnode.hpp");
274 AD.addInclude(AD._DFA_file, "utilities/powerOfTwo.hpp");
275
276 // Make sure each .cpp file starts with include lines:
277 // files declaring and defining generators for Mach* Objects (hpp,cpp)
278 // Generate the result files:
279 // enumerations, class definitions, object generators, and the DFA
280 // file containing enumeration of machine operands & instructions (hpp)
281 AD.addPreHeaderBlocks(AD._HPP_file._fp); // .hpp
282 AD.buildMachOperEnum(AD._HPP_file._fp); // .hpp
283 AD.buildMachOpcodesEnum(AD._HPP_file._fp); // .hpp
284 AD.buildMachRegisterNumbers(AD._VM_file._fp); // VM file
285 AD.buildMachRegisterEncodes(AD._HPP_file._fp); // .hpp file
286 AD.declareRegSizes(AD._HPP_file._fp); // .hpp
287 AD.build_pipeline_enums(AD._HPP_file._fp); // .hpp
288 // output definition of class "State"
289 AD.defineStateClass(AD._HPP_file._fp); // .hpp
290 // file declaring the Mach* classes derived from MachOper and MachNode
291 AD.declareClasses(AD._HPP_file._fp);
292 // declare and define maps: in the .hpp and .cpp files respectively
293 AD.addSourceBlocks(AD._CPP_file._fp); // .cpp
294 AD.addHeaderBlocks(AD._HPP_file._fp); // .hpp
295 AD.buildReduceMaps(AD._HPP_file._fp, AD._CPP_file._fp);
296 AD.buildMustCloneMap(AD._HPP_file._fp, AD._CPP_file._fp);
297 // build CISC_spilling oracle and MachNode::cisc_spill() methods
298 AD.build_cisc_spill_instructions(AD._HPP_file._fp, AD._CPP_file._fp);
299 // define methods for machine dependent State, MachOper, and MachNode classes
300 AD.defineClasses(AD._CPP_file._fp);
301 AD.buildMachOperGenerator(AD._CPP_GEN_file._fp);// .cpp
302 AD.buildMachNodeGenerator(AD._CPP_GEN_file._fp);// .cpp
303 // define methods for machine dependent instruction matching
304 AD.buildInstructMatchCheck(AD._CPP_file._fp); // .cpp
305 // define methods for machine dependent frame management
306 AD.buildFrameMethods(AD._CPP_file._fp); // .cpp
307 AD.generate_needs_deep_clone_jvms(AD._CPP_file._fp);
308
309 // do this last:
310 AD.addPreprocessorChecks(AD._CPP_file._fp); // .cpp
311 AD.addPreprocessorChecks(AD._CPP_CLONE_file._fp); // .cpp
312 AD.addPreprocessorChecks(AD._CPP_EXPAND_file._fp); // .cpp
313 AD.addPreprocessorChecks(AD._CPP_FORMAT_file._fp); // .cpp
314 AD.addPreprocessorChecks(AD._CPP_GEN_file._fp); // .cpp
315 AD.addPreprocessorChecks(AD._CPP_MISC_file._fp); // .cpp
316 AD.addPreprocessorChecks(AD._CPP_PEEPHOLE_file._fp); // .cpp
317 AD.addPreprocessorChecks(AD._CPP_PIPELINE_file._fp); // .cpp
318
319 // define the finite automata that selects lowest cost production
320 AD.buildDFA(AD._DFA_file._fp);
321 // Add include guards for all .hpp files
322 AD.addIncludeGuardEnd(AD._HPP_file, "GENERATED_ADFILES_AD_HPP"); // .hpp
323 AD.addIncludeGuardEnd(AD._VM_file, "GENERATED_ADFILES_ADGLOBALS_HPP"); // .hpp
324
325 AD.close_files(0); // Close all input/output files
326
327 // Final printout and statistics
328 // cout << program;
329
330 if( AD._dfa_debug & 2 ) { // For higher debug settings, print timing info
331 // Timer t_stop;
332 // Timer t_total = t_stop - t_start; // Total running time
333 // cerr << "\n---Architecture Description Totals---\n";
334 // cerr << ", Total lines: " << TotalLines;
335 // float l = TotalLines;
336 // cerr << "\nTotal Compilation Time: " << t_total << "\n";
337 // float ft = (float)t_total;
338 // if( ft > 0.0 ) fprintf(stderr,"Lines/sec: %#5.2f\n", l/ft);
339 }
340 return (AD._syntax_errs + AD._semantic_errs + AD._internal_errs); // Bye Bye!!
341}
342
343//------------------------------usage------------------------------------------
344static void usage(ArchDesc& AD)
345{
346 printf("Architecture Description Language Compiler\n\n");
347 printf("Usage: adlc [-doqwTs] [-#]* [-D<FLAG>[=<DEF>]] [-U<FLAG>] [-c<CPP_FILE_NAME>] [-h<HPP_FILE_NAME>] [-a<DFA_FILE_NAME>] [-v<GLOBALS_FILE_NAME>] <ADL_FILE_NAME>\n");
348 printf(" d produce DFA debugging info\n");
349 printf(" o no output produced, syntax and semantic checking only\n");
350 printf(" q quiet mode, supresses all non-essential messages\n");
351 printf(" w suppress warning messages\n");
352 printf(" T make DFA as many subroutine calls\n");
353 printf(" s output which instructions are cisc-spillable\n");
354 printf(" D define preprocessor symbol\n");
355 printf(" U undefine preprocessor symbol\n");
356 printf(" c specify CPP file name (default: %s)\n", AD._CPP_file._name);
357 printf(" h specify HPP file name (default: %s)\n", AD._HPP_file._name);
358 printf(" a specify DFA output file name\n");
359 printf(" v specify adGlobals output file name\n");
360 printf(" # increment ADL debug level\n");
361 printf("\n");
362}
363
364//------------------------------open_file------------------------------------
365int ArchDesc::open_file(bool required, ADLFILE & ADF, const char *action)
366{
367 if (required &&
368 (ADF._fp = fopen(ADF._name, action)) == NULL__null) {
369 printf("ERROR: Cannot open file for %s: %s\n", action, ADF._name);
370 close_files(1);
371 return 0;
372 }
373 return 1;
374}
375
376//------------------------------open_files-------------------------------------
377int ArchDesc::open_files(void)
378{
379 if (_ADL_file._name == NULL__null)
380 { printf("ERROR: No ADL input file specified\n"); return 0; }
381
382 if (!open_file(true , _ADL_file, "r")) { return 0; }
383 if (!open_file(!_no_output, _DFA_file, "w")) { return 0; }
384 if (!open_file(!_no_output, _HPP_file, "w")) { return 0; }
385 if (!open_file(!_no_output, _CPP_file, "w")) { return 0; }
386 if (!open_file(!_no_output, _CPP_CLONE_file, "w")) { return 0; }
387 if (!open_file(!_no_output, _CPP_EXPAND_file, "w")) { return 0; }
388 if (!open_file(!_no_output, _CPP_FORMAT_file, "w")) { return 0; }
389 if (!open_file(!_no_output, _CPP_GEN_file, "w")) { return 0; }
390 if (!open_file(!_no_output, _CPP_MISC_file, "w")) { return 0; }
391 if (!open_file(!_no_output, _CPP_PEEPHOLE_file, "w")) { return 0; }
392 if (!open_file(!_no_output, _CPP_PIPELINE_file, "w")) { return 0; }
393 if (!open_file(!_no_output, _VM_file , "w")) { return 0; }
394 if (!open_file(_dfa_debug != 0, _bug_file, "w")) { return 0; }
395
396 return 1;
397}
398
399//------------------------------close_file------------------------------------
400void ArchDesc::close_file(int delete_out, ADLFILE& ADF)
401{
402 if (ADF._fp) {
403 fclose(ADF._fp);
404 if (delete_out) remove(ADF._name);
405 }
406}
407
408//------------------------------close_files------------------------------------
409void ArchDesc::close_files(int delete_out)
410{
411 if (_ADL_file._fp) fclose(_ADL_file._fp);
412
413 close_file(delete_out, _CPP_file);
414 close_file(delete_out, _CPP_CLONE_file);
415 close_file(delete_out, _CPP_EXPAND_file);
416 close_file(delete_out, _CPP_FORMAT_file);
417 close_file(delete_out, _CPP_GEN_file);
418 close_file(delete_out, _CPP_MISC_file);
419 close_file(delete_out, _CPP_PEEPHOLE_file);
420 close_file(delete_out, _CPP_PIPELINE_file);
421 close_file(delete_out, _HPP_file);
422 close_file(delete_out, _DFA_file);
423 close_file(delete_out, _bug_file);
424
425 if (!_quiet_mode) {
426 printf("\n");
427 if (_no_output || delete_out) {
428 if (_ADL_file._name) printf("%s: ", _ADL_file._name);
429 printf("No output produced");
430 }
431 else {
432 if (_ADL_file._name) printf("%s --> ", _ADL_file._name);
433 printf("%s, %s, %s, %s, %s, %s, %s, %s, %s, %s",
434 _CPP_file._name,
435 _CPP_CLONE_file._name,
436 _CPP_EXPAND_file._name,
437 _CPP_FORMAT_file._name,
438 _CPP_GEN_file._name,
439 _CPP_MISC_file._name,
440 _CPP_PEEPHOLE_file._name,
441 _CPP_PIPELINE_file._name,
442 _HPP_file._name,
443 _DFA_file._name);
444 }
445 printf("\n");
446 }
447}
448
449//------------------------------strip_ext--------------------------------------
450static char *strip_ext(char *fname)
451{
452 char *ep;
453
454 if (fname) {
455 ep = fname + strlen(fname) - 1; // start at last character and look for '.'
456 while (ep >= fname && *ep != '.') --ep;
457 if (*ep == '.') *ep = '\0'; // truncate string at '.'
458 }
459 return fname;
460}
461
462//------------------------------base_plus_suffix-------------------------------
463// New concatenated string
464static char *base_plus_suffix(const char* base, const char *suffix)
465{
466 int len = (int)strlen(base) + (int)strlen(suffix) + 1;
467
468 char* fname = new char[len];
7
←
Memory is allocated
→
469 sprintf(fname,"%s%s",base,suffix);
470 return fname;
471}
472
473//------------------------------get_legal_text---------------------------------
474// Get pointer to legal text at the beginning of AD file.
475// This code assumes that a legal text starts at the beginning of .ad files,
476// is commented by "//" at each line and ends with empty line.
477//
478int get_legal_text(FileBuff &fbuf, char **legal_text)
479{
480 char* legal_start = fbuf.get_line();
481 assert(legal_start[0] == '/' && legal_start[1] == '/', "Incorrect header of AD file"){ if (!(legal_start[0] == '/' && legal_start[1] == '/'
)) { fprintf(stderr, "assert fails %s %d: %s\n", "/home/daniel/Projects/java/jdk/src/hotspot/share/adlc/main.cpp"
, 481, "Incorrect header of AD file"); abort(); }};
482 char* legal_end = fbuf.get_line();
483 assert(strncmp(legal_end, "// Copyright", 12) == 0, "Incorrect header of AD file"){ if (!(strncmp(legal_end, "// Copyright", 12) == 0)) { fprintf
(stderr, "assert fails %s %d: %s\n", "/home/daniel/Projects/java/jdk/src/hotspot/share/adlc/main.cpp"
, 483, "Incorrect header of AD file"); abort(); }};
484 while(legal_end[0] == '/' && legal_end[1] == '/') {
485 legal_end = fbuf.get_line();
486 }
487 *legal_text = legal_start;
488 return (int) (legal_end - legal_start);
489}
490
491// VS2005 has its own definition, identical to this one.
492#if !defined(_WIN32) || defined(_WIN64) || _MSC_VER < 1400
493void *operator new( size_t size, int, const char *, int ) throw() {
494 return ::operator new( size );
495}
496#endif