- /*
- case FKind.FlatLiteralNode: {
- FlatLiteralNode fln = (FlatLiteralNode) fn;
-
- if( fln.getType().equals( stringType ) ) {
- lhs = fln.getDst();
-
- output.println( "// Generating points-to checks for pre-node string literal" );
-
- genAssertRuntimePtrVsHeapResults( output,
- fm,
- lhs,
- heapAnalysis.canPointToAt( lhs, fn )
- );
-
- output.println( "// end pre-node string literal" );
-
-
- if( DEBUG ) {
- System.out.println( " before "+fn );
- System.out.println( " "+lhs+" can point to "+heapAnalysis.canPointToAt( lhs, fn ) );
- }
- }
- } break;
- */
-