अप्रयुक्त अपरिभाषित संदर्भों को अनदेखा करने का कोई तरीका है?

Question

मान लीजिए मैं दो स्रोत फ़ाइलें है - UndefErr.cpp:

#include <cstdio> 

void UndefFunc(); 
void Func2(){UndefFunc();} 

void Func1(){printf("Hi\n");} 

और main.cpp:

void Func1(); 

int main(){ 
    Func1(); 
    return 0; 
} 

आप UndefErr.cpp में देख Func2() जा रहा एक त्रुटि को ट्रिगर करने के लिए, इसके लिए अपरिभाषित UndefFunc() का उपयोग कर। हालांकि मुख्य समारोह Func2() परवाह नहीं करता है! a relevant question के अनुसार मैं एक विकल्प - अनन्य-प्रतीकों = अनदेखा-इन-ऑब्जेक्ट-फाइल लिंकर को पास कर सकता हूं, लेकिन मुझे एक अलग चीज़ चाहिए। मुझे यह जानने के लिए एक लिंकर चाहिए कि क्या अपरिभाषित कार्य कहीं भी उपयोग किए जाते हैं, और केवल तब विफल हो जाते हैं।

इस तरह के एक अजीब सवाल पूछने के लिए कारण यह है कि मैं एक lwIP उपयोग करने के लिए कोशिश कर रहा हूँ, और यह इसकी निर्भरता के सभी समझना कठिन है (मैं केवल टीसीपी/आईपी की जरूरत है), और मैं नहीं मिल सकता है इंटरनेट पर ट्यूटोरियल। तो मैंने सोचा कि मैं सबसे अधिक (या सभी) को .c फ़ाइलों को अलग से संकलित कर सकता हूं, और यह देखने के लिए कुछ सरल परीक्षण लिख सकता है कि यह क्या करता है। लेकिन यह दृष्टिकोण "अपरिभाषित संदर्भ" पर ठोकर खा रहा है, उनमें से अधिकतर शायद उपयोग के लिए अप्रासंगिक हैं।

Answer 1

जीसीसी 4.8.2 के साथ मैं निम्नलिखित के साथ त्रुटियों के बिना कोड लिंक करने में कामयाब । मैनुअल के अनुसार -fwhole-program, कार्यों पर static के उचित उपयोग के अनुरूप है, इसलिए अप्रयुक्त फ़ंक्शन को आउटपुट से हटा दिया जा सकता है (यानी आप संकलक को आश्वस्त करते हैं कि आपके सभी फ़ंक्शंस का उपयोग किसी अन्य कोड द्वारा नहीं किया जाएगा, संभवतः गतिशील रूप से लोड किया गया है , और आपके उपयोगकर्ताओं के लिए गारंटी देने वाला एकमात्र प्रवेश बिंदु main() है)।

मुझे -O3 जोड़ना पड़ा, मुझे यकीन नहीं है कि वास्तव में क्यों, लेकिन संकलक कार्यों का निरीक्षण करने और इसके बिना मृत कोड को समाप्त करने में बहुत रूचि नहीं रखता था।

Answer 2

समस्या यह है कि आपका अपरिभाषित फ़ंक्शन उपयोग किया जाता है। Func2 के लिए ऑब्जेक्ट कोड उत्पन्न किया गया है, UndefFunc के लिए कोई संदर्भ नहीं है, और यह लिंकर पर जाता है। कंपाइलर को यह समझने का कोई तरीका नहीं है कि यह फ़ंक्शन हमेशा अपरिभाषित होगा क्योंकि कई अनुवाद इकाइयां हैं।

संकलन त्रुटि से बचने के लिए एक ही रास्ता लिंकर है कि आप इतना है कि यह इस मामले के लिए विधानसभा जनरेट करने का प्रयास नहीं करेंगे, अप्रयुक्त कार्यों के लिए वस्तु कोड की जरूरत नहीं है यह बताने के लिए है।

$ g++ -c main.cpp -O3 -flto 
$ g++ -c UndefErr.cpp -O3 -flto 
$ g++ main.o UndefErr.o -flto -O3 -o out 

मैं जानता हूँ कि -flto लिंकर व्यवहार कर देगा के रूप में अगर -fwhole-program पारित किया गया था और पूरी बात एक भी संकलन इकाई थी: